type theory Products Contributors

Customer Discussions

Got a question?
Start a new discussion
1.
Also tag this type theoryTag Score: 20Vote to remove this from the community
Types and Programming Languages ~ Benjamin C. Pierce Types and Programming Languages ~ Benjamin C. Pierce (Hardcover) 4.5 out of 5 stars (16)
Buy new: $85.00 $78.41
62 used & new from $51.18
2.
Also tag this type theoryTag Score: 6Vote to remove this from the community
Advanced Topics in Types and Programming Languages ~ Benjamin C. Pierce Advanced Topics in Types and... ~ Benjamin C. Pierce (Hardcover) 5.0 out of 5 stars (2)
Buy new: $74.00 $65.68
42 used & new from $52.20
3.
Also tag this type theoryTag Score: 5Vote to remove this from the community
Lambda-Calculus and Combinators: An Introduction ~ J. Roger Hindley Lambda-Calculus and... ~ J. Roger Hindley (Hardcover) 4.5 out of 5 stars (2)
Buy new: $84.99 $81.21
40 used & new from $64.97
4.
Also tag this type theoryTag Score: 4Vote to remove this from the community
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) ~ Joachim Lambek Introduction to Higher-Order... ~ Joachim Lambek (Paperback) 5.0 out of 5 stars (1)
Buy new: $69.99 $67.19
45 used & new from $29.69
5.
Also tag this type theoryTag Score: 3Vote to remove this from the community
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) ~ Morten Heine Sřrensen Lectures on the Curry-Howard... ~ Morten Heine Sřrensen (Hardcover) 5.0 out of 5 stars (1)
Buy new: $180.00 $146.30
45 used & new from $110.00
6.
Also tag this type theoryTag Score: 3Vote to remove this from the community
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) ~ J. Roger Hindley Basic Simple Type Theory ~ J. Roger Hindley (Paperback) 5.0 out of 5 stars (1)
Buy new: $44.99 $44.49
32 used & new from $32.00
7.
Also tag this type theoryTag Score: 3Vote to remove this from the community
Categories for Types (Cambridge Mathematical Textbooks) ~ Roy L. Crole Categories for Types ~ Roy L. Crole (Paperback) 4.5 out of 5 stars (2)
Buy new: $89.99 $69.88
36 used & new from $65.84
8.
Also tag this type theoryTag Score: 2Vote to remove this from the community
Type Theory and Functional Programming (International Computer Science Series) ~ Simon Thompson Type Theory and Functional... ~ Simon Thompson (Hardcover) 5.0 out of 5 stars (1)
13 used & new from $148.97
9.
Also tag this type theoryTag Score: 2Vote to remove this from the community
A Theory of Objects (Monographs in Computer Science) ~ Martín Abadi A Theory of Objects ~ Martín Abadi (Hardcover) 5.0 out of 5 stars (2)
Buy new: $209.00 $167.20
60 used & new from $25.95
10.
Also tag this type theoryTag Score: 2Vote to remove this from the community
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) ~ B. Jacobs Categorical Logic and Type... ~ B. Jacobs (Hardcover) 5.0 out of 5 stars (1)
Buy new: $143.00 $120.12
36 used & new from $111.54
11.
Also tag this type theoryTag Score: 2Vote to remove this from the community
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) ~ J. Roger Hindley Basic Simple Type Theory ~ J. Roger Hindley (Hardcover) 5.0 out of 5 stars (1)
Buy new: $124.99
28 used & new from $40.88
12.
Also tag this type theoryTag Score: 2Vote to remove this from the community
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series) ~ Fairouz D. Kamareddine A Modern Perspective on Type... ~ Fairouz D. Kamareddine (Hardcover)
Buy new: $249.00 $209.85
36 used & new from $109.05
13.
Also tag this type theoryTag Score: 1Vote to remove this from the community
Foundations of Object-Oriented Languages: Types and Semantics ~ Kim B. Bruce Foundations of Object... ~ Kim B. Bruce (Hardcover) 3.5 out of 5 stars (2)
Buy new: $50.00
31 used & new from $11.94
14.
Also tag this type theoryTag Score: 1Vote to remove this from the community
Databases, Types and the Relational Model (3rd Edition) ~ C. J. Date Databases, Types and the... ~ C. J. Date (Paperback) 3.3 out of 5 stars (3)
30 used & new from $16.05
15.
Also tag this type theoryTag Score: 1Vote to remove this from the community
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) ~ Iman Hafiz Poernomo Adapting Proofs-as-Programs:... ~ Iman Hafiz Poernomo (Hardcover)
Buy new: $199.00 $149.81
65 used & new from $31.92
Send us feedback Send us feedback about this page.
Subscribe - RSS Feed RSS Feed
Learn about RSS feeds for tags