Lecture Notes in Computer Science: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Altenkirch, Thorsten; McBride, Conor

Details

Published by: Springer

Publication Date: 2007-10-01

Format: Paperback

ISBN-13: 9783540744634

DOI: 10.1007/978-3-540-74464-1

Dimensions: 235cm x155cm

Pages: 272