APA (7th ed.) Citation

Piccolo, M. (2012). Strong Normalization in the π-calculus with Intersection and Union Types. Fundamenta Informaticae, 121(1-4), 227. https://doi.org/10.3233/fi-2012-777

Chicago Style (17th ed.) Citation

Piccolo, Mauro. "Strong Normalization in the π-calculus with Intersection and Union Types." Fundamenta Informaticae 121, no. 1-4 (2012): 227. https://doi.org/10.3233/fi-2012-777.

MLA (9th ed.) Citation

Piccolo, Mauro. "Strong Normalization in the π-calculus with Intersection and Union Types." Fundamenta Informaticae, vol. 121, no. 1-4, 2012, p. 227, https://doi.org/10.3233/fi-2012-777.