Pages that link to "Item:Q1295368"
From MaRDI portal
The following pages link to Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368):
Displayed 5 items.
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- Normalization without reducibility (Q1840460) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Reducibility (Q2842839) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)