![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Lassen, S. B.: Reasoning with Actions.ps.gz | 12-Oct-2005 15:07 | 50K | |
| Palsberg, Jens: A Provably Correct Compiler Generator.ps.gz | 12-Oct-2005 15:08 | 109K | |
| Pfenning, Frank: Computation and Deduction.ps.gz | 12-Oct-2005 15:08 | 109K | |
| Setzer, Anton: Proof Theory of Martin-Lof Type Theory - An Overview.pdf | 11-Mar-2004 11:10 | 315K | |