scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming language theory
/
Chapter 2. mathematical preliminaries
Benjamin C. Pierce
Types and programming languages
Benjamin C. Pierce
·
2002
Chapter 1. introduction
Benjamin C. Pierce
Chapter 2. mathematical preliminaries
Benjamin C. Pierce
Part i. untyped systems
Benjamin C. Pierce
Concepts
Powerset
Countable Set
Transitive Closure
Reflexive Transitive
Preorder
Partial Order
Equivalence
Principle Of Ordinary Induction
Principle Of Complete Induction
Lexicographic Order Principle Of Lexicographic Induction
←
1 / 2
→
Content
No content yet.
← Previous chapter
Chapter 1. introduction
Next chapter →
Part i. untyped systems