Isomorphisms of Types:
Subtitle: from delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: December 22, 1994
Language: eng
Format: Hardcover
Number of pages: 235
ISBN-13: 9780817637637
Subjects: Computer Programming; Science/Mathematics; General; Computer Programming Languages; Computers; Computers - Languages / Programming; Programming languages (Electronic computers); Computer Books: General; Programming languages (Electro; Human-computer interaction; Applied; Computer Science; Programming - General; Mathematics / Applied; Type theory