The following pages link to (Q4362923):
Displaying 11 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Coherence and Transitivity in Coercive Subtyping (Q2996166) (← links)
- Subset Coercions in Coq (Q3612448) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- An implementation of LF with coercive subtyping and universes (Q5951521) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)