A Theory Independent Curry-De Bruijn-Howard Correspondence
From MaRDI portal
Publication:3166993
DOI10.1007/978-3-642-31585-5_2zbMath1367.03029OpenAlexW111425133MaRDI QIDQ3166993
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
Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)