Pages that link to "Item:Q1951591"
From MaRDI portal
The following pages link to Coercive subtyping: theory and implementation (Q1951591):
Displaying 15 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)
- Natural language inference in Coq (Q2258817) (← links)
- Coercive subtyping via mappings of reduction behaviour (Q2871871) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Definitional Extension in Type Theory (Q2968420) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Coercive subtyping (Q4238487) (← links)
- (Q4411965) (← links)
- (Q4499226) (← links)
- Soundness of Coercion in the Calculus of Constructions (Q4820474) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Types for Proofs and Programs (Q5712310) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)