Sistemas de tipos en lenguajes lógico-funcionales

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

Defence university: Universidad Complutense de Madrid

Year of defence: 2012

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

Type: Thesis

DIALNET lock_openDocta Complutense editor