Sistemas de tipos en lenguajes lógico-funcionales
- Francisco Javier López Fraguas Director
- Juan Rodríguez Hortalá Director
Universitat de defensa: Universidad Complutense de Madrid
Any de defensa: 2012
Tipus: Tesi
Universitat de defensa: Universidad Complutense de Madrid
Any de defensa: 2012
Tipus: Tesi