Kripke semantics for higher-order type theory applied to constraint logic programming languages
- Lipton, J.
- Nieva, S.
Aldizkaria:
Theoretical Computer Science
ISSN: 0304-3975
Argitalpen urtea: 2018
Alea: 712
Orrialdeak: 1-37
Mota: Artikulua