A theory independent Curry-De Bruijn-Howard correspondence

DOI10.1007/978-3-642-31585-5_2zbMATH Open1367.03029OpenAlexW111425133MaRDI QIDQ3166993FDOQ3166993

Gilles Dowek

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_2

Recommendations

• scientific article; zbMATH DE number 963644
• scientific article; zbMATH DE number 599579
• Lectures on the Curry-Howard isomorphism
• Publication:4488199
• Publication:2766808

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A theory independent Curry-De Bruijn-Howard correspondence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3166993)