Premonoidal Categories and Notions of Computation (1995)

View PDF

Download Links

by John Power , Edmund Robinson
Citations:110 - 5 self

Active Bibliography

63 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
5 Generic Models for Computational Effects – John Power
225 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
153 Elements of Interaction – Robin Milner - 1993
208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000