Kripke semantics for higher-order type theory applied to constraint logic programming languages
- Lipton, J.
- Nieva, S.
Zeitschrift:
Theoretical Computer Science
ISSN: 0304-3975
Datum der Publikation: 2018
Ausgabe: 712
Seiten: 1-37
Art: Artikel