Isomorphisms of Types
Subtitle: from ? -calculus to information retrieval and language design
Publisher: BirkhÃ¤user Boston; Brand: Birkhäuser
Published: Sep 16, 2011
Format: paperback
Number of pages: 248
ISBN-13: 9781461275855
Notes: Source title: Isomorphisms of Types: from ? -calculus to information retrieval and language design (Progress in Theoretical Computer Science)