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