scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming language theory
/
Chapter 3. hypothetical and general judgments
Benjamin C. Pierce et al.
Software foundations
Benjamin C. Pierce et al.
·
2024
Logical foundations
Benjamin C. Pierce et al.
Content
No content yet.
← Previous chapter
Chapter 2. inductive definitions
Next chapter →
Types and programming languages