×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Isomorphisms of Types: from delta-calculus to information retrieval and language design
     

Isomorphisms of Types: from delta-calculus to information retrieval and language design

by Roberto Di Cosmo
 

Product Details

ISBN-13:
9780817637637
Publisher:
Birkhauser Verlag
Publication date:
12/22/1994
Series:
Progress in Theoretical Computer Science
Edition description:
1995
Pages:
235
Product dimensions:
0.00(w) x 0.00(h) x (d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews