Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Ecole Normale Supérieure, LIENS-DMI, Paris Cedex 05, France
Roberto Cosmo
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