![](/img/cover-not-exists.png)
A Presheaf Environment for the Explicit Fusion Calculus
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio GadducciVolume:
49
Language:
english
Pages:
23
DOI:
10.1007/s10817-011-9224-3
Date:
August, 2012
File:
PDF, 638 KB
english, 2012