Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Isomorphisms of Types
Book Subtitle: from ?-calculus to information retrieval and language design
Authors: Roberto Cosmo
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4612-2572-0
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Boston 1995
Hardcover ISBN: 978-0-8176-3763-7Due: 22 December 1994
Softcover ISBN: 978-1-4612-7585-5Published: 16 September 2011
eBook ISBN: 978-1-4612-2572-0Published: 06 December 2012
Edition Number: 1
Number of Pages: VIII, 235
Topics: Computational Science and Engineering, Applications of Mathematics, Mathematics of Computing