Pages that link to "Item:Q3991293"
From MaRDI portal
The following pages link to Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle (Q3991293):
Displaying 7 items.
- Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137) (← links)
- Retractions of dI-domains as a model for Type:Type (Q805221) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Universal retractions on \(DI\)-domains (Q1893739) (← links)
- Scott's semantics of lambda calculus is incompatible with the existence of a universal retraction (Q3992265) (← links)
- Computer Science Logic (Q5311257) (← links)