Explore: Typsystem
Discover books, insights, and more — all in one place.
Learn more about Typsystem with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “typsystem”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Pattern Calculus
By Barry Jay
“Pattern Calculus” Metadata:
- Title: Pattern Calculus
- Author: Barry Jay
- Language: English
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer Berlin / Heidelberg
- Publish Date: 2009 - 2014
- Publish Location: Berlin, Heidelberg
“Pattern Calculus” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Calculus, data processing - Data structures (Computer science) - Functional programming (Computer science) - Lambda calculus - Datenstruktur - Mustervergleich - Lambda-Kalkül - Funktionale Programmierung - Typisierte Programmiersprache - Algebraischer Datentyp - Objektklasse - Typsystem - Typisierter Lambda-Kalkül - Abfrage
Edition Identifiers:
- The Open Library ID: OL36212652M - OL25538813M
- Online Computer Library Center (OCLC) ID: 416294701
- Library of Congress Control Number (LCCN): 2009926961
- All ISBNs: ➤ 3642426018 - 9783540891840 - 9783540891857 - 3540891846 - 3540891854 - 9783642426018
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Pattern Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Types for Proofs and Programs
By Hutchison, David - undifferentiated
“Types for Proofs and Programs” Metadata:
- Title: Types for Proofs and Programs
- Author: ➤ Hutchison, David - undifferentiated
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Types for Proofs and Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Artificial intelligence - Computer science - Data processing - Algebra - Automatic theorem proving - Congresses - Computer programming - Beweistheorie - Kongress - Typentheorie - HOL - Programmierung - Typsystem
Edition Identifiers:
- The Open Library ID: OL25542866M
- Online Computer Library Center (OCLC) ID: 401153782
- Library of Congress Control Number (LCCN): 2009929554
- All ISBNs: 3642024440 - 9783642024443 - 3642024432 - 9783642024436
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Types for Proofs and Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.