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:
Honsell, Furio.; Scagnetto, Ivan.; SpringerLink (Online service); Miculan, Marino.
(Language materials, printed)