Sistemas de tipos en lenguajes lógico-funcionales

  1. Martín Martín, Enrique
Dirigida per:
  1. Francisco Javier López Fraguas Director
  2. Juan Rodríguez Hortalá Director

Universitat de defensa: Universidad Complutense de Madrid

Any de defensa: 2012

Departament:
  1. Sistemas Informáticos y Computación

Tipus: Tesi

DIALNET lock_openDocta Complutense editor