Miculan, Marino.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
Scagnetto, Ivan.; Miculan, Marino.; SpringerLink (Online service); Honsell, Furio.
(Language materials, printed)