Isomorphisms of Types: from ?-calculus to information retrieval and language design - Progress in Theoretical Computer Science (Paperback)Roberto DiCosmo (author)
- We can order this
Publisher: Springer-Verlag New York Inc.
Number of pages: 235
Weight: 381 g
Dimensions: 235 x 155 x 13 mm
Edition: Softcover reprint of the original 1st ed. 199