Sign in
Join Literal
Authors
Author
Rob Nederpelt
Books
Type Theory and Formal Proof
Rob Nederpelt, Herman Geuvers