scientific article; zbMATH DE number 1342246
zbMath0933.03007MaRDI QIDQ4263831
Publication date: 29 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tutorial introductionsequent calculusnormalizationnatural deductioncombinatory logicsimply typed lambda calculusChurch-Rosser theoremuntyped lambda calculusHilbert style inference systemrefined version of the purely implicational fragment of intuitionistic logicsimply typed theory STT
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
