scientific article; zbMATH DE number 512778
From MaRDI portal
Publication:4281471
zbMath0786.03012MaRDI QIDQ4281471
Publication date: 7 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Bounded existentials and minimal typing ⋮ Higher-order subtyping ⋮ Divergence of \(F_{\leq}\) type checking ⋮ Logic of subtyping ⋮ Subtyping recursion and parametric polymorphism in kernel Fun ⋮ Basic theory of \(F\)-bounded quantification. ⋮ Comparing object encodings. ⋮ Dependent types with subtyping and late-bound overloading
This page was built for publication:
