Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science (1512), Band 1512)

von: Eduardo Gimenez · Christine Paulin-Mohring Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-65137-6 ISBN-10: 3-540-65137-3 Springer · 2008