Pages that link to "Item:Q3377462"
From MaRDI portal
The following pages link to Pure type systems with judgemental equality (Q3377462):
Displaying 8 items.
- An adequacy theorem for dependent type theory (Q2311883) (← links)
- Pure Type System conversion is always typable (Q2844696) (← links)
- A Logical Framework with Explicit Conversions (Q2871837) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- (Q6079236) (← links)
- From rewrite rules to axioms in the \(\lambda \varPi \)-calculus modulo theory (Q6629514) (← links)
