A decidable canonical representation of the compact elements in Scott's reflexive domain in Pω

✍ Scribed by Thomas Drakengren

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 832 KB
• Volume: 193
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(97)00038-8