JUAN
RODRÍGUEZ HORTALÁ
Ikertzailea 2008-2020 tartean
Doktorego-tesia
-
Programación con indeterminismoun enfoque basado en reescritura 2010
Universidad Complutense de Madrid
Zuzendutako tesiak (1)
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid