Publications in collaboration with researchers from Wesleyan University (2)

2018

  1. Kripke semantics for higher-order type theory applied to constraint logic programming languages

    Theoretical Computer Science, Vol. 712, pp. 1-37

2007

  1. 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)