Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science (4941), Band 4941)

Conference

von Marino Miculan

Taschenbuch

ISBN-13: 978-3-540-68084-0

ISBN-10: 3-540-68084-5

Springer · 2008