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

DOI10.1016/0304-3975(90)90165-EzbMATH Open0713.18006MaRDI QIDQ749648FDOQ749648

Authors: Hagen Huwig, Axel Poigné 

Publication date: 1990

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

Recommendations

• Fixed-point operations on ccc's. I
• Fixed points in Cartesian closed categories
• Publication:4206923
• Fixpoint objects need not be \(\Omega \)-discrete
• Categorical fixed point semantics

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• A general adequacy result for a linear functional language
• Title not available (Why is that?)
• Domain-theoretical models of parametric polymorphism
• Games and Definability For FPC
• Reflexive objects in topological categories
• Inheritance as implicit coercion
• Fixed points in Cartesian closed categories
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• A model of intuitionistic affine logic from stable domain theory
• A note on Russell's paradox in locally Cartesian closed categories
• Least fixpoints of endofunctors of cartesian closed categories
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
• A convenient category of domains

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749648)