Sistemas de tipos en lenguajes lógico-funcionales
- Francisco Javier López Fraguas Directeur
- Juan Rodríguez Hortalá Directeur
Université de défendre: Universidad Complutense de Madrid
Année de défendre: 2012
Type: Thèses
Université de défendre: Universidad Complutense de Madrid
Année de défendre: 2012
Type: Thèses