Higher-Order and Reflexive Action Calculi: Their Type Theory and Models (1998)

Cached

Download Links

by Philippa Gardner , Masahito Hasegawa , Masahito Hasegawa
Citations:1 - 0 self

Active Bibliography

6 Types and Models for Higher-Order Action Calculi – Philippa Gardner, Masahito Hasegawa - 1997
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
Graphical Presentations of Interactive Systems – Philippa Gardner - 1999
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
1 Simple Gap Termination for Term Graph Rewriting Systems – Mizuhito Ogawa - 1995
6 lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects – Arvind, Joe E. Stoy, Jan-willem Maessen, Jan-willem Maessen, Rishiyur S. Nikhil, Rishiyur S. Nikhil, Joseph E. Stoy
3 Addressed Term rewriting Systems: . . . – Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori - 2006
187 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
1 Conformal field theory as a nuclear functor – Richard Blute, Prakash Panangaden, Dorette Pronk
4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
ON THE FUNCTOR ℓ 2 – Chris Heunen
10 Quantum information-flow, concretely, abstractly – Bob Coecke - 2004
6 Probabilistic Relations – Prakash Panangaden - 1998
43 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
5 Categorical Glueing and Logical Predicates for Models of Linear Logic – Masahito Hasegawa - 1999
unknown title – Robin Milner, Peter Sewell
7 Type Assignment and Termination of Interaction Nets – Maribel Fernández