Skip to main content
Search results

Basic Simple Type Theory

Products

33 products
Simple Type Theory - (Computer Science Foundations and Applied Logic) 2nd Edition by William M Farmer (Hardcover)
Birkhauser
Simple Type Theory - (Computer Science Foundations and Applied Logic) 2nd Edition by William M Farmer (Hardcover)
$84.99
Compare Now
Programming Languages
Cambridge University Press
Programming Languages
$88.98
Compare Now
Programming in Haskell
Cambridge University Press
Programming in Haskell
$31.36
Compare Now
Advanced Topics in Types and Programming Languages (Paperback)
Advanced Topics in Types and Programming Languages (Paperback)
$76.30
Compare Now
The Formal Semantics of Programming Languages An Introduction
The Mit Press
The Formal Semantics of Programming Languages An Introduction
$85.24
Compare Now
Foundations of Programming Languages
Springer
Foundations of Programming Languages
$53.99
Compare Now
Practical Foundations for Programming Languages
Cambridge University Press
Practical Foundations for Programming Languages
$73.99
Compare Now
Programming Languages: Theory and Practice (Hardcover)
Programming Languages: Theory and Practice (Hardcover)
$118.90
Compare Now
Lecture Notes in Computer Science Simple Program Schemes and Formal Languages Book 20 (Paperback)
Springer
Lecture Notes in Computer Science Simple Program Schemes and Formal Languages Book 20 (Paperback)
$39.99
Compare Now
Programming Languages : Principles and Paradigms (Hardcover) 9780072381115
Programming Languages : Principles and Paradigms (Hardcover) 9780072381115
$6.36
Compare Now
Pre-Owned Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Paperback) 193435645X 9781934356456
Pragmatic Bookshelf
Pre-Owned Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Paperback) 193435645X 9781934356456
$39.45
Compare Now
Transactions on Pattern Languages of Programming IV (Paperback)
Springer
Transactions on Pattern Languages of Programming IV (Paperback)
$56.14
Compare Now
Typescript Cookbook: Real World Type-Level Programming (Paperback)
Typescript Cookbook: Real World Type-Level Programming (Paperback)
$36.89
Compare Now
Basic Category Theory for Computer Scientists - (Foundations of Computing) by Benjamin C Pierce (Paperback)
Mit Press
Basic Category Theory for Computer Scientists - (Foundations of Computing) by Benjamin C Pierce (Paperback)
$35.00
Compare Now
A Gentle Introduction to Computer Programming Fundamentals
Ingram Book Co
A Gentle Introduction to Computer Programming Fundamentals
$7.96
Compare Now
Programming Languages: An Active Learning Approach (Hardcover)
Springer
Programming Languages: An Active Learning Approach (Hardcover)
$79.91
Compare Now
Lecture Notes in Computer Science Semantics: Foundations and Applications: Rex Workshop Beekbergen the Netherlands June 1-4 1992. Proceedings Book 666 (Paperback)
Springer
Lecture Notes in Computer Science Semantics: Foundations and Applications: Rex Workshop Beekbergen the Netherlands June 1-4 1992. Proceedings Book 666 (Paperback)
$118.82
Compare Now
Programming Language Concepts (Paperback)
Wiley
Programming Language Concepts (Paperback)
$127.52
Compare Now
Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)
Springer
Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)
$54.99
Compare Now
c standard library a tutorial and reference
c standard library a tutorial and reference
$2.90
Compare Now
Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)
Springer
Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)
$54.38
Compare Now
Pre-Owned Introduction to Programming Languages: Programming in C C++ Scheme Prolog C# and Python 9781792407994 1792407998 Paperback 6 edition
Pre-Owned Introduction to Programming Languages: Programming in C C++ Scheme Prolog C# and Python 9781792407994 1792407998 Paperback 6 edition
$167.65
Compare Now
Introduction to Programming Languages
Chapman Hall
Introduction to Programming Languages
$98.85
Compare Now
Semantics Engineering With Plt Redex
Semantics Engineering With Plt Redex
$58.32
Compare Now
An Introduction to the Language of Mathematics
Springer
An Introduction to the Language of Mathematics
$49.49
Compare Now
The Science of Programming (Monographs in Computer Science)
The Science of Programming (Monographs in Computer Science)
$9.91
Compare Now
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
$91.97
Compare Now
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
$139.89
Compare Now
Programming in Haskell
Programming in Haskell
$13.36
Compare Now
Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
$32.11
Compare Now
Structured Programming: Theory and Practice
Structured Programming: Theory and Practice
$9.66
Compare Now
Programming Languages : Design and Implementation
Programming Languages : Design and Implementation
$6.84
Compare Now
The Self-taught Programmer: The Definitive Guide to Programming Professionally
The Self-taught Programmer: The Definitive Guide to Programming Professionally
$13.20
Compare Now