Characterization of normal forms possessing inverse in the - --calculus
From MaRDI portal
Publication:1242896
DOI10.1016/0304-3975(76)90085-2zbMATH Open0368.02028OpenAlexW2053672707MaRDI QIDQ1242896FDOQ1242896
Authors: 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
Cites Work
Cited In (22)
- Title not available (Why is that?)
- On the building of affine retractions
- Automorphisms of types in certain type theories and representation of finite groups
- A confluent reduction for the λ-calculus with surjective pairing and terminal object
- European Summer Meeting of the Association for Symbolic Logic
- Meeting of the Association for Symbolic Logic Florence, Italy 1982
- Title not available (Why is that?)
- An analysis of Böhm's theorem
- The proofs of α → α in P – W
- Finite generation and presentation problems for lambda calculus and combinatory logic
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
- Invertible terms in the lambda calculus
- Provable isomorphisms of types
- On Isomorphisms of Intersection Types
- Isomorphism of intersection and union types
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- A type-assignment of linear erasure and duplication
- Using types as search keys in function libraries
- Automorphisms of types and their applications
- Remarks on isomorphisms of simple inductive types
- A lambda proof of the P-W theorem
This page was built for publication: Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1242896)
