Informática
Facultad
Wesleyan University
Middletown, Estados UnidosPublicaciones en colaboración con investigadores/as de Wesleyan University (2)
2018
-
Kripke semantics for higher-order type theory applied to constraint logic programming languages
Theoretical Computer Science, Vol. 712, pp. 1-37
2007
-
Higher-order logic programming languages with constraints: A semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)