Federico Cozzi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	2005
1		Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444

Coauthor Index

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Mario Coppo	[1]
2	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[1]
3	Elio Giovannetti	[1]
4	Rosario Pugliese	[1]