scientific article; zbMATH DE number 431762

MaRDI QIDQ3138538zbMATH OpenFDO

Authors Peter J. Freyd

Publication date 18 November 1993

zbMATH Keywords

compact categoriescpodinaturalityendofunctorfixed pointsinitial algebras

Mathematics Subject Classification ID

Partial orders, general (06A06) Functor categories, comma categories (18A25) Categories and theories (18C99) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 19484
• Algebraically compact functors
• How accessible are categories of algebras?
• scientific article; zbMATH DE number 7379294
• Recursive data types in algebraically -complete categories

Cited in

(30)

• Equational properties of iteration in algebraically complete categories
• Algebraically compact functors
• Induction and recursion on the partial real line with applications to Real PCF
• Structural induction and coinduction in a fibrational setting
• Topology, domain theory and theoretical computer science
• The equational logic of fixed points
• Fixpoint operators for domain equations
• Games and full abstraction for FPC.
• Computational adequacy for recursive types in models of intuitionistic set theory
• Recursive data types in algebraically -complete categories
• Game-theoretic analysis of call-by-value computation
• Coalgebraic semantics for nominal automata
• Parametrized fixed points and their applications to session types
• Recursive coalgebras from comonads
• Unique, guarded fixed points in an additive setting: extended abstract
• A convenient category of domains
• The bicategory-theoretic solution of recursive domain equations
• Some Domain Theory and Denotational Semantics in Coq
• scientific article; zbMATH DE number 1058158 (Why is no real title available?)
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• scientific article; zbMATH DE number 7453968 (Why is no real title available?)
• The convex powerdomain in a category of posets realized by cpos
• Initial algebras of terms with binding and algebraic structure
• Computational adequacy via ‘mixed’ inductive definitions
• Two models of synthetic domain theory
• A presentation of the initial lift-algebra
• On Kleisli liftings and decorated trace semantics
• Combining fixpoint and differentiation theory
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic

This page was built for publication:

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