A Theory Independent Curry-De Bruijn-Howard Correspondence

DOI10.1007/978-3-642-31585-5_2zbMath1367.03029MaRDI QIDQ3166993

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

03B35: Mechanization of proofs and logical operations

03F03: Proof theory in general (including proof-theoretic semantics)

03B40: Combinatory logic and lambda calculus