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