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

DOI10.1016/0304-3975(90)90165-EzbMath0713.18006MaRDI QIDQ749648

Axel Poigné, Hagen Huwig

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

coproductsdomain theorytoposescartesian closed categoriesdomain equationsHeyting algebra objectshigher typesnatural number objectpreorder categorysemantics for recursive programs via least fixed points

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (11)

Least fixpoints of endofunctors of cartesian closed categories ⋮ Parametricity of extensionally collapsed term models of polymorphism and their categorical properties ⋮ A general adequacy result for a linear functional language ⋮ A note on Russell's paradox in locally Cartesian closed categories ⋮ Inheritance as implicit coercion ⋮ A model of intuitionistic affine logic from stable domain theory ⋮ Domain-theoretical models of parametric polymorphism ⋮ Games and Definability For FPC ⋮ A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points ⋮ Reflexive objects in topological categories ⋮ A Convenient Category of Domains

Cites Work

• Topoi. The categorial analysis of logic
• Ein Modell des P=NP-Problems mit einer positiven Lösung
• Locally cartesian closed categories and type theory
• On specifications, theories, and models with higher types
• A Powerdomain Construction
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on inconsistencies caused by fixpoints in a cartesian closed category