Equality between Functionals Revisited
- 1 January 1985
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Completeness, invariance and λ-definabilityThe Journal of Symbolic Logic, 1982
- The typed λ-calculus is not elementary recursiveTheoretical Computer Science, 1979
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958