Recursive Types in Kleisli Categories (1992)

Cached

Download Links

by Alex K. Simpson
Venue:Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75
Citations:7 - 2 self

Documents Related by Co-Citation

43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
92 Algebraically complete categories – P Freyd - 1990
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
165 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
60 Varieties of iteration theories – S L Bloom, Z Esik - 1988
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
62 Remarks on algebraically compact categories – P J Freyd - 1991
13 Strong monads, algebras and fixed points – P S Mulry - 1991
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
2 Fixed point operators on ccc's – E96 S L Bloom, Z - 1996
34 Action Structures – Robin Milner - 1992
11 The Girard Translation Extended with Recursion – Torben Braüner - 1995
7 Higher-order action calculi – Robin Milner - 1993
150 Elements of Interaction – Robin Milner - 1993
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
100 Geometry of Interaction I: interpretation of system F – J-Y Girard - 1989