Lambda Calculus with Types

Practical Foundations for Programming Languages

Essentials of Programming in Mathematica

Computational Semantics with Functional Programming

Programming Languages: Theory and Practice (Hardcover)

Foundations of Programming Languages

Practical Foundations for Programming Languages

The Formal Semantics of Programming Languages An Introduction

Lecture Notes in Computer Science Simple Program Schemes and Formal Languages Book 20 (Paperback)

Typescript Cookbook: Real World Type-Level Programming (Paperback)

Introduction to Programming Languages: Principles, C, C++, Scheme And Prolog

Transactions on Pattern Languages of Programming IV (Paperback)

A Type of Programming (Hardcover)

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

c standard library a tutorial and reference

Pre-Owned Structured Basic Programming Textbook (Hardcover) 0538108002 9780538108003

c programming language

Bundle: Single Variable Calculus

Type Theory and Formal Proof: An Introduction

Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)

Pre-Owned Chapman & Hall/CRC Textbooks in Computing: A Concise Introduction to Programming in Python (Hardcover)

A&E Mathematics Calculus Larson/Calc 1 w/Precalc Core Text Edition

A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint) S. Kamal Abdali [New] [Softcover]

A Simple Lambda-calculus Model of Programming Languages S Kamal Abdali [New] [Softcover]

The Science of Programming (Monographs in Computer Science)

Programming in Haskell

Foundations for Programming Languages

Concepts, Techniques, and Models of Computer Programming

Structured Programming: Theory and Practice