Some Algebraic Structures in Lambda-Calculus with Inductive Types

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00782718
Contributor : David Chemouil <>
Submitted on : Wednesday, January 30, 2013 - 2:38:00 PM
Last modification on : Friday, January 10, 2020 - 9:09:12 PM

Links full text

Identifiers

Collections

Citation

Sergei Soloviev, David Chemouil. Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES, Apr 2003, Italy. pp.338-354, ⟨10.1007/978-3-540-24849-1_22⟩. ⟨hal-00782718⟩

Share

Metrics

Record views

130