An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC (1994)
Cached
Download Links
by
Marcelo P. Fiore
,
Gordon D. Plotkin
| Citations: | 34 - 6 self |
BibTeX
@MISC{Fiore94anaxiomatisation,
author = {Marcelo P. Fiore and Gordon D. Plotkin},
title = {An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 316 | Basic concepts of enriched category theory - Kelly - 1982 |
| 258 | Semantics of programming languages: structures and techniques - Gunter - 1992 |
| 89 | Algebraically complete categories - Freyd - 1991 |
| 65 | Recursive types reduced to inductive types - Freyd - 1990 |
| 62 | Axiomatic Domain Theory in Categories of Partial Maps - Fiore - 1996 |
| 60 | Remarks on algebraically compact categories - Freyd - 1991 |
| 52 | Full abstraction for sequential languages: The state of the art - Berry, Curien, et al. |
| 23 | The lazy -calculus - Abramsky - 1990 |
| 18 | Algebraically compact functors - Barr - 1992 |
| 11 | The lazy λ-calculus - Abramsky - 1990 |
| 8 | Cartesian closed categories of enumerations for effective typestructures - Longo, Moggi |
| 5 | Data types in algebraically !- complete categories - Ad'amek - 1993 |
| 2 | Cpo-categories of partial maps - Fiore - 1993 |
| 1 | Data types in algebraically ωcomplete categories - Adámek - 1993 |
