The naturality of natural deduction
From MaRDI portal
Publication:6275830
DOI10.1007/S11225-017-9772-6zbMath1531.03092arXiv1607.06603MaRDI QIDQ6275830
Paolo Pistone, Mattia Petrolo, Luca Tranchini
Publication date: 22 July 2016
Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)
This page was built for publication: The naturality of natural deduction
