Books
Contributors
Covers
Sign In
P. H. Aczel
X
LinkedIn
Author
Basic Simple Type Theory
Edit this contributor
Destroy this contributor
Back to contributors