Strong Normalization in the π-calculus with Intersection and Union Types.
Saved in:
| Title: | Strong Normalization in the π-calculus with Intersection and Union Types. |
|---|---|
| Authors: | Piccolo, Mauro1, piccolo@di.unito.it |
| Source: | Fundamenta Informaticae; 2012, Vol. 121 Issue 1-4, p227-252, 26p, 3 Charts |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
