Higher-order subtyping and its decidability
type: Item
instance of: scholarly article
title: Higher-order subtyping and its decidability
zbMATH Open document ID: 1055.03013
author: Adriana Compagnoni
published in: Information and Computation
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2083129
zbMATH Keywords: Higher-order lambda calculus
zbMATH Keywords: Higher-order subtyping
zbMATH Keywords: Intersection types
zbMATH Keywords: Bounded polymorphism
zbMATH Keywords: Decidability
describes a project that uses: Automath
describes a project that uses: Forsythe
MaRDI profile type: Publication
full work available at URL: j.ic.2004.01.001
OpenAlex ID: W2016699565
cites work: Q4715213
cites work: Subtyping dependent types
cites work: Q4023825
cites work: Q3342534
cites work: A filter lambda model and the completeness of type assignment
cites work: Order-sorted inductive types
cites work: Q4508290
cites work: Inheritance as implicit coercion
cites work: A semantics of multiple inheritance
cites work: Operations on records
cites work: Q3997125
cites work: Combining type disciplines
cites work: Some Properties of Conversion
cites work: Q4474829
cites work: Typed operational semantics for higher-order subtyping.
cites work: Q3837264
cites work: Q4855348
cites work: A new type assignment for λ-terms
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Coherence of subsumption, minimum typing and type-checking in F ≤
cites work: Q5667469
cites work: Bounded existentials and minimal typing
cites work: Q4301602
cites work: Q4281480
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Higher-order subtyping
cites work: Simple type-theoretic foundations for object-oriented programming
cites work: Q4855337
cites work: Intensional interpretations of functionals of finite type I
cites work: Q4935999
DOI: 10.1016/J.IC.2004.01.001
description: scientific article; zbMATH DE number 2083129