, Harvard University, United States
-
Journal of Formalized Reasoning Vol. 2 No. 1 (2009) - Articles
A New Look at Generalized Rewriting in Type Theory
Abstract PDF -
Journal of Formalized Reasoning Vol. 3 No. 2 (2010): Special Issue: User Tutorials I - Articles
An Introduction to Programming and Proving with Dependent Types in Coq
Abstract PDF