Pseudo-distributive laws (2004)

Cached

Download Links

by Eugenia Cheng , Martin Hyland , John Power
Citations:11 - 0 self

Active Bibliography

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
270 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
263 Relations in Concurrency – Glynn Winskel
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
Descent on 2-fibrations and 2-regular 2-categories – Claudio Hermida
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
186 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
141 Higher-dimensional algebra and topological quantum field theory – John C. Baez, James Dolan - 1995