Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi (1997)

Cached

Download Links

by Masahito Hasegawa
Citations:45 - 5 self

Documents Related by Co-Citation

170 Traced monoidal categories – AndrĂ© Joyal, Ross Street, Domnic Verity - 1996
930 Categories for the Working Mathematician – S Mac Lane - 1971
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
67 Retracing some paths in Process Algebra – Samson Abramsky
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
71 Equational term graph rewriting – Zena M. Ariola, Jan Willem Klop - 1996
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
159 Generalising Monads to Arrows – John Hughes - 1998
150 Elements of Interaction – Robin Milner - 1993
55 Categories of partial maps – E Robinson, G Rosolini - 1988
20 Premonoidal categories and a graphical view of programs – A Jeffrey - 1997
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997