A theory independent Curry-De Bruijn-Howard correspondence

DOI10.1007/978-3-642-31585-5_2MaRDI QIDQ3166993zbMATH OpenOpenAlexFDO

Authors 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

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)

Recommendations

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

Cited in

(2)

• Computing with semirings and weak rig groupoids
• The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)

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)