Sciweavers

22 search results - page 1 / 5
» aplas 2004
Sort
View
APLAS
2004
ACM
13 years 9 months ago
An Implementation of Subtyping Among Regular Expression Types
Kenny Zhuo Ming Lu, Martin Sulzmann
APLAS
2004
ACM
13 years 9 months ago
D-Fusion: A Distinctive Fusion Calculus
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...