| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Partiality_and_Recursion_in_Interactive_Theorem_Provers_-_An_Overview.pdf | 18-Aug-2011 04:52 | 392K | ||
| lambda-notes.pdf | 14-Dec-2008 08:41 | 172K | ||
| metaproof.pdf | 14-Dec-2008 08:41 | 142K | ||
| thesis-sozeau.pdf | 05-Apr-2010 19:34 | 1.9M | ||