Pages that link to "Item:Q5244807"
From MaRDI portal
The following pages link to System FC with explicit kind equality (Q5244807):
Displaying 5 items.
- Algebraic dynamic programming for multiple context-free grammars (Q301600) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- A Reflection on Types (Q3188294) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- (Q6079236) (← links)
