|
60
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
17
|
From Action Calculi to Linear Logic
– Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin
- 1998
|
|
26
|
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
|
|
5
|
Symmetric Action Calculi
– Philippa Gardner, Lucian Wischik
- 1999
|
|
|
Graphical Presentations of Interactive Systems
– Philippa Gardner
- 1999
|
|
27
|
Complete Axioms for Categorical Fixed-point Operators
– Alex Simpson, Gordon Plotkin
- 2000
|
|
|
Physics from Computer Science — a position statement —
– Samson Abramsky, Bob Coecke
- 2006
|
|
34
|
Cyclic Lambda Calculi
– Zena M. Ariola, Stefan Blom
- 1997
|
|
8
|
Simple free star-autonomous categories and full coherence
– Dominic J. D. Hughes
- 2005
|
|
15
|
A survey of graphical languages for monoidal categories
– Peter Selinger
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
4
|
An Australian conspectus of higher categories
– Ross Street
- 2004
|
|
9
|
Axioms for Recursion in Call-by-Value
– Masahito Hasegawa, Yoshihiko Kakutani
|
|
1
|
Notes On Undirected Actions
– Kohei Honda
- 1997
|
|
5
|
Shallow Linear Action Graphs and their Embeddings
– James J. Leifer, Robin Milner
- 2000
|
|
|
Denotational semantics for lazy initialization of letrec black
– Keiko Nakata
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
|
5
|
Small-step and big-step semantics for call-by-need
– Keiko Nakata, et al.
- 2009
|
