3 search results - page 1 / 1 » Variable Binding, Symmetric Monoidal Closed Theories, and Bi... |
122
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
88
Voted
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...