scientific article; zbMATH DE number 1479632
From MaRDI portal
Publication:4490747
zbMath0942.03512MaRDI QIDQ4490747
Niels Jakob Rehof, Morten Heine B. Sørensen
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Normalization in the simply typed -calculus ⋮ Unnamed Item ⋮ Intuitionistic and classical natural deduction systems with the catch and the throw rules ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ Unnamed Item ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Dualized Simple Type Theory ⋮ Domain-Freeλµ-Calculus ⋮ A short proof of the strong normalization of classical natural deduction with disjunction ⋮ Non-strictly positive fixed points for classical natural deduction