scientific article; zbMATH DE number 1086673

zbMath0882.03029MaRDI QIDQ4362923

Zhaohui Luo

Publication date: 13 November 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coercive subtypingsubsumptiondependent type theories

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01) Second- and higher-order arithmetic and fragments (03F35)

Related Items (7)

Proof Assistants for Natural Language Semantics ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ Transitivity in coercive subtyping ⋮ Coercion completion and conservativity in coercive subtyping ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory ⋮ Implementing type theory in higher order constraint logic programming ⋮ Dependent types with subtyping and late-bound overloading

This page was built for publication: