IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Thu, 28 Mar 2024 19:28:20 +0100Thu, 28 Mar 2024 19:28:20 +0100en A Presheaf Environment for the Explicit Fusion Calculus
http://eprints.imtlucca.it/174/
Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Presheaf Environment for the Explicit Fusion Calculus. Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2). pp. 161-183. ISSN 0168-7433 (2012) A Category of Explicit Fusions
http://eprints.imtlucca.it/119/
Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Category of Explicit Fusions. In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 5065 . Springer, pp. 544-562. ISBN 978-3-540-68676-7 (2008)