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 : Thursday, October 17, 2019 - 8:52:18 AM

Links full text

Identifiers

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

110