Types for Proofs and ProgramsFurio Honsell,Marino Miculan,Ivan Scagnetto · First published 2008Open the Tome
Foundations of Software Science and Computation StructuresFurio Honsell, Marino Miculan · First published 2007Open the Tome