Dependent type system with subtyping I: Type level transitivity elimination

DOI10.1007/BF02946500zbMath0911.68142OpenAlexW2075388708MaRDI QIDQ1273074

Gang Chen

Publication date: 2 March 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946500

zbMATH Keywords

transitivitysubtyping

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• A computational view of implicit coercions in type theory
• Coherence of subsumption, minimum typing and type-checking in F ≤
• A framework for defining logics
• Subtyping dependent types

This page was built for publication: Dependent type system with subtyping I: Type level transitivity elimination