scientific article; zbMATH DE number 431762
From MaRDI portal
Publication:3138538
zbMATH Open0803.18002MaRDI QIDQ3138538FDOQ3138538
Authors: Peter J. Freyd 
Publication date: 18 November 1993
Title of this publication is not available (Why is that?)
Recommendations
Partial orders, general (06A06) Functor categories, comma categories (18A25) Theory of computing (68Q99) Categories and theories (18C99)
Cited In (27)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
- Coalgebraic semantics for nominal automata
- Fixpoint operators for domain equations
- Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
- A presentation of the initial lift-algebra
- Equational properties of iteration in algebraically complete categories
- Games and full abstraction for FPC.
- Computational adequacy for recursive types in models of intuitionistic set theory
- Structural induction and coinduction in a fibrational setting
- Two models of synthetic domain theory
- Game-theoretic analysis of call-by-value computation
- The equational logic of fixed points
- Parametrized fixed points and their applications to session types
- Some Domain Theory and Denotational Semantics in Coq
- Computational adequacy via ‘mixed’ inductive definitions
- Initial algebras of terms with binding and algebraic structure
- Recursive coalgebras from comonads
- Topology, domain theory and theoretical computer science
- Title not available (Why is that?)
- Induction and recursion on the partial real line with applications to Real PCF
- Unique, guarded fixed points in an additive setting: extended abstract
- Title not available (Why is that?)
- Algebraically compact functors
- The convex powerdomain in a category of posets realized by cpos
- A convenient category of domains
- The bicategory-theoretic solution of recursive domain equations
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
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)
