Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

No ratings yet
1995 · English · Hardcover
Add To Shelf

Rate this book


Export Book Journal

Book Details

Format Hardcover
Pages 235 pages
Language English
Published Jan 1, 1995
Publisher Birkhäuser
ISBN-10 376433763X
ISBN-13 9783764337636
Add To Shelf

Rate this book


Export Book Journal