Publication:5691056
From MaRDI portal
zbMath0977.03504MaRDI QIDQ5691056
No author found.
Publication date: 12 January 1997
03F05: Cut-elimination and normal-form theorems
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03F50: Metamathematics of constructive systems
03B40: Combinatory logic and lambda calculus
Related Items
Typed Multiset Rewriting Specifications of Security Protocols, A modular construction of type theories, Spiritus asper versus lambda: on the nature of functional abstraction, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, Typing untyped \(\lambda\)-terms, or reducibility strikes again!, Physics and proof theory, Contextual Natural Deduction