Premonoidal Categories and Notions of Computation (1995)

Cached

Download Links

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

Active Bibliography

62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
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
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
5 Symmetric Action Calculi – Philippa Gardner, Lucian Wischik - 1999
6 A Theory of Program Refinement – Ewen W. K. C. Denney - 1998
3 Order-Enrichment for Categories of Partial Maps – Marcelo P. Fiore - 1993
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
Presheaf models of quantum computation: an – Octavio Malherbe, Philip Scott, Peter Selinger - 1302
11 Logical Predicates for Intuitionistic Linear Type Theories – Masahito Hasegawa - 1999
Functorial boxes in string diagrams Paul-Andr̩ РEquipe Preuves, Cnrs Universit̩, Paris Denis Diderot - 2006
1 Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations – Sjoerd E. Crans - 1999
Graphical Presentations of Interactive Systems – Philippa Gardner - 1999
150 Elements of Interaction – Robin Milner - 1993