Lecture Notes in Computer Science: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert

Details

Published by: Springer

Publication Date: 2002-02-20

Format: Paperback

ISBN-13: 9783540432876

DOI: 10.1007/3-540-45842-5

Dimensions: 233cm x155cm

Pages: 248