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

by Paula Gabriela Severi
Citations:15 - 1 self

Active Bibliography

12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
1 Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus – Jeroen Ketema, Jakob Grue Simonsen
Contents TLCA List of Open Problems – unknown authors - 2007
1 Intersection Type Systems and Logics Related to the Meyer–Routley System B + – Martin Bunder, Received Greg Restall - 2003
3 Recognizability in the Simply Typed Lambda-Calculus, in "16th Workshop on Logic, Language, Information and Computation – Sylvain Salvati, Inria Bordeaux Sud-ouest
Appendix 1: Product Types in F ! – In This Section
A Bargain for Intersection Types: A Simple Strong Normalization Proof – Peter Moller Neergaard
7 Perpetual Reductions in λ-Calculus – Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi - 1999
9 New Notions of Reduction and Non-Semantic Proofs of Strong β-Normalization in Typed λ-Calculi – A.J. Kfoury, J. B. Wells - 1995
18 Addendum to `New notions of reduction and non-semantic proofs of β-strong normalization in typed λ-calculi – A. J. Kfoury, J. B. Wells - 1995
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
6 Perpetual Reductions in λ-Calculus – Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi - 1999
13 Finite Family Developments – Vincent van Oostrom
33 On Girard’s “Candidats de Réductibilité – Jean H. Gallier, Jean H. Gallier - 1990
20 Higher-Order Rewriting – Femke Van Raamsdonk - 1999
13 Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination – Henk Barendregt, Silvia Ghilezan
44 Intuitionistic Model Constructions and Normalization Proofs – Thierry Coquand, Peter Dybjer - 1998