Lecture Notes in Computer Science: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Coquand, Thierry; Dybjer, Peter; Nordström, Bengt; Smith, Jan

Details

Published by: Springer

Publication Date: 2000-12-13

Format: Paperback

ISBN-13: 9783540415176

DOI: 10.1007/3-540-44557-9

Dimensions: 235cm x155cm

Pages: 202