Pages that link to "Item:Q1242896"
From MaRDI portal
The following pages link to Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus (Q1242896):
Displayed 14 items.
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Invertible terms in the lambda calculus (Q1145689) (← links)
- An analysis of Böhm's theorem (Q1314351) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- On the building of affine retractions (Q3520151) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- (Q3674617) (← links)
- Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- The proofs of <i>α</i> → <i>α</i> in <i>P</i> – <i>W</i> (Q4879907) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- Using types as search keys in function libraries (Q4939694) (← links)