scientific article; zbMATH DE number 1292293
From MaRDI portal
Publication:4244301
zbMath0925.03083MaRDI QIDQ4244301
Publication date: 27 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Interpolation theorems for intuitionistic predicate logic ⋮ Representing scope in intuitionistic deductions ⋮ Proof-search in type-theoretic languages: An introduction
This page was built for publication:
