Sistemas de tipos en lenguajes lógico-funcionales

  1. Martín Martín, Enrique
Dirigée par:
  1. Francisco Javier López Fraguas Directeur
  2. Juan Rodríguez Hortalá Directeur

Université de défendre: Universidad Complutense de Madrid

Année de défendre: 2012

Département:
  1. Sistemas Informáticos y Computación

Type: Thèses

DIALNET lock_openDocta Complutense editor