Strong Normalization in the π-calculus with Intersection and Union Types.

Saved in:

Bibliographic Details
Title:	Strong Normalization in the π-calculus with Intersection and Union Types.
Authors:	Piccolo, Mauro¹, piccolo@di.unito.it
Source:	Fundamenta Informaticae; 2012, Vol. 121 Issue 1-4, p227-252, 26p, 3 Charts
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/fi-2012-777