Explore: Typentheorie
Discover books, insights, and more — all in one place.
Learn more about Typentheorie with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “typentheorie”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Basic simple type theory
By J. Roger Hindley
“Basic simple type theory” Metadata:
- Title: Basic simple type theory
- Author: J. Roger Hindley
- Language: English
- Number of Pages: Median: 193
- Publisher: Cambridge University Press
- Publish Date: 1997 - 2008 - 2009 - 2011
- Publish Location: ➤ New York, NY, USA - Cambridge, U.K
“Basic simple type theory” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Type theory - Programming languages (electronic computers) - Programming Languages - Langages de programmation - Théorie des types - Typentheorie - Programmeertalen - Types, Théorie des
Edition Identifiers:
- The Open Library ID: OL40475523M - OL1277367M - OL28197031M - OL34437561M
- Online Computer Library Center (OCLC) ID: 847977148
- Library of Congress Control Number (LCCN): 95009058
- All ISBNs: ➤ 051183473X - 0521465184 - 9780521465182 - 0521054222 - 9780511834738 - 9780521054225 - 9780511608865 - 0511608861
Access and General Info:
- First Year Published: 1997
- 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 Basic simple type theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Theory of Logical Types
By Irving M. Copi
“Theory of Logical Types” Metadata:
- Title: Theory of Logical Types
- Author: Irving M. Copi
- Language: English
- Number of Pages: Median: 149
- Publisher: Taylor & Francis Group
- Publish Date: 2011 - 2012
“Theory of Logical Types” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Type theory - Théorie des types - Logique symbolique et mathématique - PHILOSOPHY - Logic - Logik - Mathematische Logik - Typentheorie - Logica Matematica
Edition Identifiers:
- The Open Library ID: OL28463532M - OL28463404M
- Online Computer Library Center (OCLC) ID: 709802700
- All ISBNs: 0415617030 - 9780415617031 - 0415616271 - 9780415616270
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theory of Logical Types at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Language Engineering And Rigorous Software Development
By Luis Soares Barbosa
“Language Engineering And Rigorous Software Development” Metadata:
- Title: ➤ Language Engineering And Rigorous Software Development
- Author: Luis Soares Barbosa
- Language: English
- Number of Pages: Median: 301
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2009
“Language Engineering And Rigorous Software Development” Subjects and Themes:
- Subjects: ➤ Computer simulation - Information Systems - Computer science - Software engineering - Computer software - Congresses - Development - Formal methods (Computer science) - Programming languages (Electronic computers) - Type theory - Programmiersprache - Kongress - Typentheorie - Formale Methode - Softwareentwicklung - Computational linguistics - Programming languages (electronic computers) - Computer software, development
Edition Identifiers:
- The Open Library ID: OL34462481M - OL26117452M
- Online Computer Library Center (OCLC) ID: 429671440 - 428011995
- Library of Congress Control Number (LCCN): 2009930949
- All ISBNs: 9783642031533 - 9783642031526 - 3642031528 - 3642031536
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 Language Engineering And Rigorous Software Development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Types 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.