![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| toplas-fool9-sub.pdf | 2025-05-13 11:29 | 348K | |
| stone-schoonmaker.pdf | 2025-05-13 11:29 | 375K | |
| stone-schoonmaker-lo..> | 2025-05-13 11:29 | 433K | |
| riecke-stone-ic02.pdf | 2025-05-13 11:29 | 149K | |
| riecke-stone-fool5.pdf | 2025-05-13 11:29 | 1.2M | |
| prooflang.pdf | 2025-05-13 11:29 | 495K | |
| oneill-transact-2015..> | 2025-05-13 11:29 | 443K | |
| ocm-unpublished.pdf | 2025-05-13 11:29 | 379K | |
| ocm-poster-splash11.pdf | 2025-05-13 11:29 | 397K | |
| crary-datatypes-tr98..> | 2025-05-13 11:29 | 361K | |
| biagioni-et-al-hosc9..> | 2025-05-13 11:29 | 67K | |
| bauer-stone-jlc09.pdf | 2025-05-13 11:29 | 1.1M | |
| bauer-stone-cie07.pdf | 2025-05-13 11:29 | 210K | |
| bauer+-types-2016.pdf | 2025-05-13 11:29 | 245K | |
| ProofCheck-Proposal.pdf | 2025-05-13 11:29 | 46K | |
| LIPIcs-TYPES-2016-5.pdf | 2025-05-13 11:29 | 627K | |