Everything
(TFCS)Formal syntax and semantics of programming languages
Formal Syntax and Semantics of Programming Languages
CPSC 125 Ch 1 Sec 5
Introduction to languages and the theory of computation
Theory Of Computation - Text Book
Certified Programming with Dependent Types
Recursion Ac
Recursion acg
Recursion
Self Reference