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

Cached

Download Links

by Masahito Hasegawa
Citations:45 - 5 self

Active Bibliography

62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998
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
A quantum double construction in Rel – Masahito Hasegawa - 2010
unknown title – Masahito Hasegawa - 2010
5 Symmetric Action Calculi – Philippa Gardner, Lucian Wischik - 1999
Graphical Presentations of Interactive Systems – Philippa Gardner - 1999
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
Physics from Computer Science — a position statement — – Samson Abramsky, Bob Coecke - 2006
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
12 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005
Contents – Peter Selinger
37 A survey of graphical languages for monoidal categories – Peter Selinger
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
Tensor categories: A selective guided tour ∗ – Michael Müger - 2008
6 An Australian conspectus of higher categories – Ross Street - 2004
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
1 Notes On Undirected Actions – Kohei Honda - 1997
5 Shallow Linear Action Graphs and their Embeddings – James J. Leifer, Robin Milner - 2000