Author:
Hirschkoff Daniel,Madiot Jean-Marie,Sangiorgi Davide
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;M Boreale,2005
2. Fu, Y.: The
$$\chi $$
-calculus. In: Proc. APDC, pp. 74–81. IEEE Computer Society Press (1997)
3. Lecture Notes in Computer Science;P Gardner,2000
4. Lecture Notes in Computer Science;D Hirschkoff,2012
5. Hirschkoff, D., Madiot, J.M., Sangiorgi, D.: Name-Passing Calculi: From Fusions to Preorders and Types. long version of the paper presented at LICS’13, in preparation (2014)