Browse
FAQ

Author

Marino Miculan

3 books found

Cover of Types for Proofs and Programs

Types for Proofs and Programs

Furio Honsell,Marino Miculan,Ivan Scagnetto · First published 2008

Cover of Types for Proofs and Programs

Types for Proofs and Programs

Marino Miculan · First published 2008

Cover of Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Furio Honsell, Marino Miculan · First published 2007