Sistemas de tipos en lenguajes lógico-funcionales

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

Universidad de defensa: Universidad Complutense de Madrid

Año de defensa: 2012

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

Tipo: Tesis

DIALNET lock_openAcceso abierto editor