Pages that link to "Item:Q672137"
From MaRDI portal
The following pages link to Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137):
Displaying 5 items.
- Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137) (← links)
- A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (Q1127535) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle (Q3991293) (← links)
- Scott's semantics of lambda calculus is incompatible with the existence of a universal retraction (Q3992265) (← links)