Types for Proofs and Programs - bib.howest.be

Types for Proofs and Programs

Format:: e-book
Title:: Types for Proofs and Programs
Author:: Miculan, Marino; Honsell, Furio; Kanade, Takeo; Scagnetto, Ivan
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-68084-5
3-540-68103-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000440589?locale=en