Models of Sharing Graphs: A Categorical Semantics of let and letrec (1997)

by Masahito Hasegawa
Citations:60 - 9 self

Active Bibliography

45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
13 Functional Computation as Concurrent Computation – Joachim Niehren - 1995
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
34 Operational congruences for reactive systems – James Judi Leifer - 2001
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
32 A Semantic analysis of control – James David Laird - 1998
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
Reduction Theories for Concurrent Calculi – Nobuko Yoshida, Kohei Honda
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
21 Categorical Logic of Names and Abstraction in Action Calculi – Dusko Pavlovic - 1993
Tensor categories: A selective guided tour ∗ – Michael Müger - 2008
8 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
2 Uniform Confluence in Concurrent Computation – Joachim Niehren - 1999