1.
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, It...
by Miculan, Marino
ISBN: 9783540680840
List Price: $59.95
2.
Foundations of Software Science and Computation Structures
by Honsell, Furio, Miculan, Ma...
ISBN: 9783662165591
List Price: $24.99