A formulation of the simply theory of types (1940)

by A Church
Venue:Journal of Symbolic Logic
Add To MetaCart
Results 1 - 1 of 1

Normalisation in Lambda Calculus and its relation to Type Inference

by Paula Gabriela Severi, Dr. J. H. Geuvers , 1996
"... Presentation of Rewriting and Typing 13 2 Abstract Rewriting Systems 15 2.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.2 Abstract Rewriting Systems : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3 Morphisms : : : : : : : : : : : : : : : : : : ..."
Abstract - Cited by 15 (1 self) - Add to MetaCart
Presentation of Rewriting and Typing 13 2 Abstract Rewriting Systems 15 2.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.2 Abstract Rewriting Systems : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3 Morphisms : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16 2.4 Properties of Abstract Rewriting Systems : : : : : : : : : : : : : : : : : : : 18 2.5 Strategies : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 19 2.6 Criteria : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 21 2.7 Conclusions and Related Work : : : : : : : : : : : : : : : : : : : : : : : : : 24 3 Topology 27 3.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 27 3.2 Topology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 28 3.3 Equivalence : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 30 3.4 Topological Characte...