Normalisation in Lambda Calculus and its relation to Type Inference

Normalisation in Lambda Calculus and its relation to Type Inference (1996)

by Paula Gabriela Severi , Dr. J. H. Geuvers

Citations:

15 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Normalisation in Lambda Calculus and its relation to Type Inference	user correction - Legacy Corrections
AUTHOR NAME	Paula Gabriela Severi	SVM HeaderParse 0.1
AUTHOR ADDR	geboren te Montevideo, Uruguay	SVM HeaderParse 0.1
AUTHOR NAME	Dr. J. H. Geuvers	SVM HeaderParse 0.1
AUTHOR AFFIL	Contents	SVM HeaderParse 0.2
ABSTRACT	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...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	6 found	ParsCit 1.0