scientific article; zbMATH DE number 1479631
From MaRDI portal
Publication:4490745
zbMath0942.03506MaRDI QIDQ4490745
Stefano Berardi, Franco Barbanera
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Normalization in the simply typed -calculus ⋮ Programming and Proving with Classical Types ⋮ Intuitionistic and classical natural deduction systems with the catch and the throw rules ⋮ Non deterministic classical logic: the $\lambda\mu^{++}$-calculus ⋮ A short proof of the strong normalization of classical natural deduction with disjunction ⋮ Unnamed Item ⋮ Abstracting models of strong normalization for classical calculi ⋮ Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
This page was built for publication:
