On the failure of fixed-point theorems for chain-complete lattices in the effective topos

✍ Scribed by Andrej Bauer

• Book ID: 113927615
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 237 KB
• Volume: 430
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2011.12.005