Traced Premonoidal Categories (1999)

by Nick Benton , Martin Hyland
Citations:7 - 0 self

Documents Related by Co-Citation

99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
48 A new notation for arrows – Ross Paterson - 2001
162 Generalising Monads to Arrows – John Hughes - 1998
733 Notions of Computation and Monads – Eugenio Moggi - 1991
5 Closed Freyd- and κ-Categories – John Power, Hayo Thielecke - 1999
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
58 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
13 Arrows and computation – Ross Paterson - 2003
34 A small complete category – J M E Hyland - 1987
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
112 Categorical logic and type theory – Bart Jacobs - 1999
35 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
1 Dynamic logic and exceptions: an introduction – Dominique Duval, Jean-Claude Reynaud - 2005
4 Diagrammatic specifications. Rapport de recherche – D Duval, C Lair - 2009
2 Diagrammatic logic and effects: the example of exceptions. ccsd-00004129 – D Duval, J-C Reynaud - 2004
10 Diagrammatic Specifications – D Duval
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
15 How to Gamble If You Must – L E Dubins, L J Savage - 1965