Logical closures
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 114-128
- https://doi.org/10.1007/3-540-58216-9_33
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- ECC, an extended calculus of constructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The category of constraint systems is Cartesian-closedPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Encoding the calculus of constructions in a higher-order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- Compiling with ContinuationsPublished by Cambridge University Press (CUP) ,1991
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation, 1991
- Higher-order Horn clausesJournal of the ACM, 1990
- Higher-order modules and the phase distinctionPublished by Association for Computing Machinery (ACM) ,1990
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988