Sistemas de tipos en lenguajes lógico-funcionales

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

Universidade de defensa: Universidad Complutense de Madrid

Ano de defensa: 2012

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

Tipo: Tese

DIALNET lock_openDocta Complutense editor