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
159 Generalising Monads to Arrows – John Hughes - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
5 Closed Freyd- and κ-Categories – John Power, Hayo Thielecke - 1999
12 Arrows and computation – Ross Paterson - 2003
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
33 A small complete category – J M E Hyland - 1988
930 Categories for the Working Mathematician – S Mac Lane - 1971
112 Categorical Logic and Type Theory – B Jacobs - 1999
34 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
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
10 Diagrammatic Specifications – D Duval
15 How to Gamble If You Must – L E Dubins, L J Savage - 1965