Pages that link to "Item:Q1951591"
From MaRDI portal
The following pages link to Coercive subtyping: theory and implementation (Q1951591):
Displaying 6 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
