scientific article; zbMATH DE number 512778

zbMATH Open0786.03012MaRDI QIDQ4281471FDOQ4281471

Authors: G. Ghelli 

Publication date: 7 April 1994

Title of this publication is not available (Why is that?)

Recommendations

• Divergence of \(F_{\leq}\) type checking
• An extension of system \(F\) with subtyping
• An extension of system \(F\) with subtyping
• Subtyping recursion and parametric polymorphism in kernel Fun

zbMATH Keywords

type systemparametric polymorphismrecursive typesnon-conservative extension

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35)

Cited In (8)

• Basic theory of \(F\)-bounded quantification.
• Dependent types with subtyping and late-bound overloading
• Bounded existentials and minimal typing
• Subtyping recursion and parametric polymorphism in kernel Fun
• Comparing object encodings.
• Logic of subtyping
• Higher-order subtyping
• Divergence of \(F_{\leq}\) type checking

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281471)