A Cartesian Closed Category of Parallel Algorithms between Scott Domains (1991)

Cached

Download Links

by Stephen Brookes , Shai Geva
Citations:6 - 2 self

Active Bibliography

12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
733 Notions of Computation and Monads – Eugenio Moggi - 1991
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
An Intensional Investigation of Parallelism – Denis Dancanet - 1994
2 Some Monoidal Closed Categories of Stable Domains and Event Structures – Guo-qiang Zhang - 1993
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
72 A syntax for linear logic – Philip Wadler - 1993
29 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
A Survey of Categorical Computation: Fixed Points, . . . – Dwight Spencer - 1990
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
35 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
7 Equational Theories for Inductive Types – Ralph Loader - 1997