Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
From MaRDI portal
Publication:1242896
DOI10.1016/0304-3975(76)90085-2zbMath0368.02028OpenAlexW2053672707MaRDI QIDQ1242896
Mariangiola Dezani-Ciancaglini
Publication date: 1976
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(76)90085-2
Related Items (max. 100)
European Summer Meeting of the Association for Symbolic Logic ⋮ Finite generation and presentation problems for lambda calculus and combinatory logic ⋮ Provable isomorphisms of types ⋮ Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective ⋮ A type-assignment of linear erasure and duplication ⋮ Invertible terms in the lambda calculus ⋮ On the building of affine retractions ⋮ The proofs of α → α in P – W ⋮ A lambda proof of the P-W theorem ⋮ On Isomorphisms of Intersection Types ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A confluent reduction for the λ-calculus with surjective pairing and terminal object ⋮ Unnamed Item ⋮ Remarks on Isomorphisms of Simple Inductive Types ⋮ Using types as search keys in function libraries ⋮ Unnamed Item ⋮ About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus ⋮ Automorphisms of types and their applications ⋮ Automorphisms of types in certain type theories and representation of finite groups ⋮ An analysis of Böhm's theorem ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982 ⋮ Isomorphism of intersection and union types
Cites Work
This page was built for publication: Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
