Pages that link to "Item:Q672137"

The following pages link to Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137):

Displaying 3 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)