scientific article; zbMATH DE number 512771
From MaRDI portal
Publication:4281464
zbMath0788.68016MaRDI QIDQ4281464
Stefano Berardi, Franco Barbanera
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Theory of programming languages (68N15) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)
Related Items (11)
Unnamed Item ⋮ A strong normalization result for classical logic ⋮ Classical truth in higher types ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Domain-Freeλµ-Calculus ⋮ A proof-theoretic foundation of abortive continuations ⋮ A type-theoretic foundation of delimited continuations ⋮ Uniform Heyting arithmetic ⋮ Refined program extraction from classical proofs ⋮ Strong normalizability of the non-deterministic catch/throw calculi ⋮ Search algorithms in type theory
This page was built for publication:
