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

60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
495 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
459 Comprehending Monads – Philip Wadler - 1992
298 The Oz Programming Model – Gert Smolka - 1995