Pages that link to "Item:Q5096832"
From MaRDI portal
The following pages link to Strong normalization of substitutions (Q5096832):
Displaying 5 items.
- (Q3044339) (← links)
- (Q3490081) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)