|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
40
|
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
– Masahito Hasegawa
- 1997
|
|
60
|
Categorical Structure of Continuation Passing Style
– Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler
- 1997
|
|
15
|
Premonoidal categories as categories with algebraic structure, Theoretical Computer Science 278
– A J Power
- 2002
|
|
51
|
Categories of partial maps
– E Robinson, G Roslini
- 1988
|
|
152
|
Traced monoidal categories
– André Joyal, Ross Street, Domnic Verity
- 1996
|
|
152
|
Functorial Semantics of Algebraic Theories
– F W Lawvere
- 1963
|
|
63
|
Semantics of weakening and contraction
– B Jacobs
- 1994
|
|
52
|
Deterministic, Error-Correcting Combinator Parsers
– S. Doaitse Swierstra, Luc Duponcheel
- 1996
|
|
8
|
Closed Freyd- and kappa-categories
– A J Power, H Thielecke
|
|
8
|
Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages
– Masahito Hasegawa
- 1995
|
|
74
|
Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus
– Peter Selinger, I Nger
- 1999
|
|
40
|
Strong functors and monoidal monads
– A Kock
- 1972
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
13
|
Elementary control structures
– A Power
- 1996
|
|
13
|
A universal property of the convolution monoidal structure
– G B Im, G M Kelly
- 1986
|
|
89
|
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report)
– P. N. Benton
- 1994
|
