Premonoidal Categories and Notions of Computation (1995)

Cached

Download Links

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

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
930 Categories for the Working Mathematician – S Mac Lane - 1971
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
70 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
17 Premonoidal categories as categories with algebraic structure – J Power
55 Categories of partial maps – E Robinson, G Rosolini - 1988
170 Traced monoidal categories – AndrĂ© Joyal, Ross Street, Domnic Verity - 1996
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
67 Semantics of weakening and contraction – B Jacobs - 1994
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
11 Closed Freyd- and kappa-categories – A J Power, H Thielecke - 1999
8 Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages – Masahito Hasegawa - 1995
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
49 Strong functors and monoidal monads – A Kock - 1972
1312 Monads for functional programming – Philip Wadler - 1995
14 Fibrational control structures – C Hermida, J Power - 1995
96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994
18 A universal property of the convolution monoidal structure – G B Im, G M Kelly - 1986