𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Construct ‘Reactive Inhibition’ in the Interpretation of Age Changes in Performance

✍ Scribed by GRIEW, S.; LYNN, R.


Book ID
109607722
Publisher
Nature Publishing Group
Year
1960
Tongue
English
Weight
117 KB
Volume
186
Category
Article
ISSN
0028-0836

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Interpreting HOL in the calculus of cons
✍ 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