Transitivity in coercive subtyping
type: Item
instance of: scholarly article
title: Transitivity in coercive subtyping
zbMATH Open document ID: 1064.03021
author: Zhaohui Luo
author: Yong Luo
published in: Information and Computation
publication date: 2005-05-12T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 2167399
zbMATH Keywords: subtyping in dependent type theories with inductive types
zbMATH Keywords: transitivity
describes a project that uses: Plastic
describes a project that uses: Coq
describes a project that uses: LEGO
MaRDI profile type: Publication
full work available at URL: j.ic.2004.10.008
OpenAlex ID: W2000702491
cites work: Q4508290
cites work: Q3204024
cites work: An implementation of LF with coercive subtyping and universes
cites work: Q4012883
cites work: A framework for defining logics
cites work: Coherence and transitivity of subtyping as entailment
cites work: Coherence and Transitivity in Coercive Subtyping
cites work: Q4435472
cites work: Q4296744
cites work: Q4362923
cites work: Coercive subtyping
cites work: Q4499226
cites work: Q3688389
cites work: Type inference with simple subtypes
cites work: Q3999860
cites work: Q4281483
cites work: Coercion completion and conservativity in coercive subtyping
DOI: 10.1016/J.IC.2004.10.008
Recommended article: Coherence and Transitivity in Coercive Subtyping
Recommended article: Q4435472
Recommended article: Q4362923
Recommended article: Coherence and transitivity of subtyping as entailment
Recommended article: Coercion completion and conservativity in coercive subtyping
Recommended article: Coercive subtyping via mappings of reduction behaviour
Recommended article: Q4246948
Recommended article: Implicit coercions in type systems
Recommended article: Coercive subtyping: theory and implementation
Recommended article: Coercive subtyping for the calculus of constructions
description: scientific article; zbMATH DE number 2167399