scientific article; zbMATH DE number 1301734
From MaRDI portal
Publication:4246947
zbMath0927.03030MaRDI QIDQ4246947
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
weak terminationsecond-order type systemreduction of simply-typed \(\lambda\sigma\)-termssimply-typed \(\lambda\)-calculus
Related Items (3)
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types ⋮ Resource operators for \(\lambda\)-calculus ⋮ Proving weak properties of rewriting
This page was built for publication:
