Pages that link to "Item:Q4993331"
From MaRDI portal
The following pages link to A unifying framework for type inhabitation (Q4993331):
Displaying 4 items.
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- Counting a type's (principal) inhabitants (Q2708317) (← links)
- Inhabitation in Intersection and Union Type Assignment Systems (Q4286212) (← links)
- Type Preservation as a Confluence Problem (Q5389092) (← links)