A note on inconsistencies caused by fixpoints in a cartesian closed category

✍ Scribed by Hagen Huwig; Axel Poigné

• Publisher: Elsevier Science
• Year: 1990
• Tongue: English
• Weight: 845 KB
• Volume: 73
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(90)90165-e