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

DOI10.1016/0304-3975(90)90165-EMaRDI QIDQ749648zbMATH OpenFDO

Authors Hagen Huwig, Axel Poigné

Publication date 1990

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

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)

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

Cites work

• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3940731 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3305131 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• A Powerdomain Construction
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi
• 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
• Topoi. The categorial analysis of logic

Cited in

(13)

• A general adequacy result for a linear functional language
• scientific article; zbMATH DE number 6816943 (Why is no real title available?)
• Domain-theoretical models of parametric polymorphism
• Games and Definability For FPC
• Inheritance as implicit coercion
• Reflexive objects in topological categories
• 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)