|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
55
|
Iteration theories
– S L Bloom, Z Esik
- 1993
|
|
150
|
Traced monoidal categories
– A Joyal, R Street, D Verity
- 1996
|
|
60
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
74
|
Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus
– Peter Selinger, I Nger
- 1999
|
|
270
|
Λµ-calculus: an algorithmic interpretation of classical natural deduction
– M Parigot
- 1992
|
|
40
|
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
– Masahito Hasegawa
- 1997
|
|
164
|
Toposes, Triples and Theories
– Michael Barr, Charles Wells
- 2005
|
|
16
|
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
– Marcelo Fiore, Gordon Plotkin, John Power
- 1997
|
|
43
|
New foundations for fixpoint computations: FIXhyperdoctrines and the FIX-logic
– R L Crole, A M Pitts
- 1992
|
|
9
|
Axioms for Recursion in Call-by-Value
– Masahito Hasegawa, Yoshihiko Kakutani
|
|
52
|
First steps in synthetic domain theory
– J M E Hyland
- 1488
|
|
41
|
Recursive Monadic Bindings
– Levent Erkok, John Launchbury
- 2000
|
|
202
|
Categories For the Working Mathematician. Graduate Texts in Mathematics
– Mac Lane, Saunders
- 1971
|
|
2
|
Axiomatizing iteration categories
– Z Ésik
- 1999
|
|
9
|
Duality between Call-by-Name Recursion and Call-by-Value Iteration
– Yoshihiko Kakutani, Ii Yoshihiko Kakutani
- 2001
|
|
4
|
Traced premonoidal categories (Extended Abstract
– N BENTON, M HYLAND
- 2002
|
