Explore: Théorie Des Types
Discover books, insights, and more — all in one place.
Learn more about Théorie Des Types with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “th%C3%A9orie-des-types”:
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.
2Behavioural Types
By Simon Gay and António Ravara
“Behavioural Types” Metadata:
- Title: Behavioural Types
- Authors: Simon GayAntónio Ravara
- Language: English
- Number of Pages: Median: 250
- Publisher: River Publishers
- Publish Date: 2017 - 2022
“Behavioural Types” Subjects and Themes:
- Subjects: ➤ Computer programming - Programming languages (electronic computers) - Programming languages (Electronic computers) - Type theory - Théorie des types - COMPUTERS / Programming / Software Development - SCIENCE / Energy
Edition Identifiers:
- The Open Library ID: OL39610050M - OL33314735M - OL40194347M - OL40143828M - OL40133921M
- Online Computer Library Center (OCLC) ID: 1040038567
- All ISBNs: ➤ 1003337333 - 9781000799392 - 9781003337331 - 8793519826 - 9781000799255 - 9788793519817 - 9788793519824 - 1000799395 - 8793519818 - 1000799255
Access and General Info:
- First Year Published: 2017
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Behavioural Types at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Theory 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.