Enrichment and Representation Theorems for Categories of Domains and Continuous Functions (1996)

Cached

Download Links

by Marcelo P. Fiore
Citations:7 - 5 self

Active Bibliography

19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
8 Axioms and (Counter)examples in Synthetic Domain Theory – Jaap Van Oosten, Alex K. Simpson - 1998
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
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
16 Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) – Marcelo Fiore, Gordon Plotkin, John Power - 1997
Studying repleteness in the category of cpos – Michael Makkai
3 Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions – Bernhard Reus - 1996
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Foundations for Computable Topology – Paul Taylor - 2009