Recursive Types in Kleisli Categories (1992)

Cached

Download Links

by Alex K. Simpson
Venue:Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75
Citations:7 - 2 self

Active Bibliography

19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
88 Categorical Logic – Andrew M. Pitts - 1995
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – unknown authors
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
12 The Structure of Call-by-Value – Carsten F├╝hrmann - 2000
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
1 Actions, Ramifications and Linear Modalities – G. White - 1998
1 COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS – Anders Kock
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
1 Inductive, Projective, and Retractive Types – Brian T. Howard - 1993
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988