Characterization of normal forms possessing inverse in the - --calculus
From MaRDI portal
(Redirected from Publication:1242896)
Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
Cited in
(22)- scientific article; zbMATH DE number 7559299 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 3827824 (Why is no real title available?)
- 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
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- Isomorphism of intersection and union types
- 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)
