Pages that link to "Item:Q1193592"
From MaRDI portal
The following pages link to Categorical models of polymorphism (Q1193592):
Displaying 5 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Feasibly categorical models (Q6064288) (← links)