|
270
|
Λµ-calculus: an algorithmic interpretation of classical natural deduction
– M Parigot
- 1992
|
|
74
|
Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus
– Peter Selinger, I Nger
- 1999
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
34
|
Declarative continuations: an investigation of duality in programming language semantics
– A Filinski
- 1989
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
60
|
Categorical Structure of Continuation Passing Style
– Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler
- 1997
|
|
67
|
A Curry-Howard foundation for functional computation with control
– C. -h. L. Ong, C. A. Stewart
- 1997
|
|
123
|
Introduction to Higher-Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
9
|
Axioms for Recursion in Call-by-Value
– Masahito Hasegawa, Yoshihiko Kakutani
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
88
|
Typing First-Class Continuations in ML
– Robert Harper, Bruce F. Duba, David Macqueen
- 1992
|
|
4
|
Some remarks on control categories
– Peter Selinger
- 2003
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
27
|
Complete Axioms for Categorical Fixed-point Operators
– Alex Simpson, Gordon Plotkin
- 2000
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
55
|
Iteration theories
– S L Bloom, Z Esik
- 1993
|
|
11
|
Varieties of effects
– Carsten Führmann
- 2002
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
25
|
Minimal Classical Logic and Control Operators
– Zena Ariola, Hugo Herbelin
- 2003
|
