Sistemas de tipos en lenguajes lógico-funcionales

  1. Martín Martín, Enrique
unter der Leitung von:
  1. Francisco Javier López Fraguas Doktorvater
  2. Juan Rodríguez Hortalá Doktorvater

Universität der Verteidigung: Universidad Complutense de Madrid

Jahr der Verteidigung: 2012

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

Art: Dissertation

DIALNET lock_openDocta Complutense editor