scientific article; zbMATH DE number 1342285
From MaRDI portal
Publication:4263876
zbMath0932.03031MaRDI QIDQ4263876
Publication date: 21 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deductioncompilationCurry-Howard isomorphismproof normalizationprogram executionproof transformationintuitionistic sequent calculus\(A\)-normal formscuts of proofs
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
