Pollack, Robert
-
BRICS Report Series No. 18 (1997): RS-18 How to Believe a Machine-Checked Proof - Articles
How to Believe a Machine-Checked Proof
Abstract PDF -
BRICS Report Series No. 51 (1997): RS-51 Some Lambda Calculus and Type Theory Formalized - Articles
Some Lambda Calculus and Type Theory Formalized
Abstract PDF