TY  - CHAP
AU  - Nieva Soto, Susana
AU  - Lipton, James
A4  - Ronchi della Rocca, Simona
PY  - 2007
DO  - 10.1007/978-3-540-73228-0 20
SN  - 978-3-540-73227-3
UR  - https://hdl.handle.net/20.500.14352/53172
AB  - A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church's Theory of Types and a generic constraint formalism. Our syntactic formal system, hoHH(C) (higher-order hereditary Harrop formulas with...
LA  - eng
M2  - 272
PB  - Springer Verlag  Berlín
TI  - Higher-order logic programming languages with constraints: A semantics
TY  - book part
ER  -