Publication:4215639
From MaRDI portal
zbMath0914.03056MaRDI QIDQ4215639
Publication date: 21 June 1999
03B70: Logic in computer science
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
The mathematical significance of proof theory, Innovations in computational type theory using Nuprl, Typing in reflective combinatory logic