𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive proofs of the range property in lambda calculus

✍ Scribed by Henk Barendregt

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
598 KB
Volume
121
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interpreting HOL in the calculus of cons
Interpreting HOL in the calculus of constructions
✍ Jonathan P. Seldin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 232 KB

The purpose of this paper is to consider a representation of the HOL theorem-prover in the calculus of constructions with the property that consistency results from the calculus of constructions imply such results in HOL. This kind of representation is impossible using the propositions-as-types repr

Proving properties of states in the situ
Proving properties of states in the situation calculus
✍ Raymond Reiter πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 653 KB

Reiter, R., Proving properties of states in the situation calculus (Research Note), Artificial Intelligence 64 (1993) 337-351. In the situation calculus, it is sometimes necessary to prove that certain properties are true in all world states accessible from the initial state. This is the case for s

Optical properties of bread in the near-
Optical properties of bread in the near-infrared range
✍ Christina SkjΓΆldebrand; Christina EllbjΓ€r; Claes GΓΆran Andersson; Tord S. Erikss πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 593 KB