scientific article; zbMATH DE number 1797606
From MaRDI portal
Publication:4552763
zbMath0999.03014MaRDI QIDQ4552763
Publication date: 8 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normalizationconfluence\(\lambda\)-calculushigher-order infinitary term systemspermutative introduction/elimination
Functional programming and lambda calculus (68N18) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)
Related Items (3)
A formalized general theory of syntax with bindings: extended version ⋮ Continuous normalization for the lambda-calculus and Gödel's T ⋮ Non-strictly positive fixed points for classical natural deduction
This page was built for publication:
