Switch to: Citations

References in:

Typing untyped λ-terms, or reducibility strikes again!

Annals of Pure and Applied Logic 91 (2-3):231-270 (1998)

Add references

You must login to add references.

Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.details Download Export citation Bookmark 9 citations
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.details Download Export citation Bookmark 47 citations
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.details Download Export citation Bookmark 9 citations
A new type assignment for λ-terms.M. Coppo & M. Dezani-Ciancaglini - 1978 - Archive for Mathematical Logic 19 (1):139-156.details Download Export citation Bookmark 14 citations
An extension of the basic functionality theory for the $\lambda$-calculus.M. Coppo & M. Dezani-Ciancaglini - 1980 - Notre Dame Journal of Formal Logic 21 (4):685-693.details Download Export citation Bookmark 9 citations
Church-Rosser theorem for typed functional systems.George Koletsos - 1985 - Journal of Symbolic Logic 50 (3):782-790.details Download Export citation Bookmark 2 citations
On the correspondence between proofs and lamba-terms.J. Gallier - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details Download Export citation Bookmark 3 citations

1