Type theory
Bookmark
ShareCopied to clipboardType theory is a book subject. It includes 38 books, written by 33 different authors.
Key facts
- number of authors: 33 people
- number of books: 38
- books: A modern perspective on type theory : from its origins until today, A semantics for static type inference, A type theory with pattern matching and partially defined functions
- authors: Fairouz D. Kamareddine, Gordon Plotkin, Yong Luo
- publication dates: 2004, 1992, 2007
- book publishers: Kluwer Academic, LFCS, Dept. of Computer Science, University of Edinburgh, Computing Laboratory, University of Kent
See more factsExtract data
Download datasets about Type theory:
Dataset of books about Type theory:
"Type theory" is one of the 293,135 book subjects in our database.
Related
Connected or similar to Type theory: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.