Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 piccolo08itrs (Unpublished) Author(s) Mauro Piccolo Title « Strong Normalization in the $\pi$-calculus with Intersection and Union Types » Note Presented at ITRS'08, Workshop on Intersection Types and Related Systems

 BibTeX code

@unpublished{piccolo08itrs,
localfile = {http://www.di.unito.it/~piccolo/pubs/linPi.pdf},
title = {Strong Normalization in the $\pi$-calculus with Intersection and
Union Types},
author = {Mauro Piccolo},
note = {Presented at ITRS'08, Workshop on Intersection Types and Related
Systems},
year = {2008},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)