Pseudo-distributive laws (2004)

View PDF

Download Links

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

Active Bibliography

325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
281 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
273 Relations in Concurrency – Glynn Winskel
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Descent on 2-fibrations and 2-regular 2-categories – Claudio Hermida
225 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
1 Two-dimensional linear algebra – Martin Hyland, John Power - 2001
208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
193 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007