Remarks on Isomorphisms of Simple Inductive Types
From MaRDI portal
Publication:4924549
DOI10.1016/S1571-0661(04)80760-6zbMath1264.03046OpenAlexW2015228038MaRDI QIDQ4924549
David Chemouil, Serguei V. Solov'ev
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80760-6
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
- Provable isomorphisms of types
- On the union of well-founded relations
- Inductive-data-type systems