Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair