scientific article; zbMATH DE number 1086673
From MaRDI portal
Publication:4362923
Recommendations
Cited in
(28)- Transitivity in coercive subtyping
- Dependent types with subtyping and late-bound overloading
- Coercive subtyping: theory and implementation
- Coercive subtyping via mappings of reduction behaviour
- Coercive subtyping for the calculus of constructions (extended abstract)
- Proof assistants for natural language semantics
- Definitional extension in type theory
- Coherence and Transitivity in Coercive Subtyping
- A computational view of implicit coercions in type theory
- Subtyping, declaratively. An exercise in mixed induction and coinduction
- Subset Coercions in Coq
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- Coercive subtyping
- scientific article; zbMATH DE number 1301735 (Why is no real title available?)
- scientific article; zbMATH DE number 2003159 (Why is no real title available?)
- Soundness of Coercion in the Calculus of Constructions
- scientific article; zbMATH DE number 1391399 (Why is no real title available?)
- Nonuniform coercions via unification hints
- Implementing type theory in higher order constraint logic programming
- Automated Reasoning with Analytic Tableaux and Related Methods
- Types for Proofs and Programs
- Types for Proofs and Programs
- An implementation of LF with coercive subtyping and universes
- Coercion completion and conservativity in coercive subtyping
- Adjectival and adverbial modification: the view from modern type theories
- On subtyping in type theories with canonical objects
- A dependently-typed calculus of event telicity and culminativity
- Integrating coercion with subtyping and multiple dispatch
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 Q4362923)
