![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| 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 | |