LCCST 1975: λ-Calculus and Computer Science Theory pp 1-26 | Cite as
Combinators and classes
Conference paper
First Online:
Abstract
The paper tries to answer the question: What is the relation between class abstraction and λ-abstraction in models for the λ-calculus?
Keywords
Closure Property Proof Theory Truth Definition Consistency Proof Transfinite Induction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer-Verlag Berlin Heidelberg 1975