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

View PDF

Download Links

by Marcelo P. Fiore
Citations:7 - 5 self

Active Bibliography

21 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
30 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
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
766 Notions of Computation and Monads – Eugenio Moggi - 1991
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
12 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997