D-Fusion: A Distinctive Fusion Calculus

13 years 10 months ago

Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding

Michele Boreale, Maria Grazia Buscemi, Ugo Montana

Abstract Embedding | APLAS 2004 | Fusion Calculus |

claim paper

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	APLAS
Authors	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari

Comments (0)