Sistemas de tipos en lenguajes lógico-funcionales

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

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 2012

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

Mota: Tesia

DIALNET lock_openDocta Complutense editor