![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Parigot01b.ps.gz | 2001-04-09 15:10 | 580K | |
| RAMs_to_Linda.tgz | 2003-04-07 12:25 | 1.2M | |
| TESI_FINALE.tgz | 2001-02-28 11:37 | 712K | |
| UBLCS-2008-18.pdf | 2008-11-20 14:04 | 196K | |
| V7M.tar.gz | 2002-11-05 11:53 | 1.7M | |
| assembler.pdf | 2016-07-28 14:12 | 168K | |
| calculemus2003_hbugs.ps.gz | 2003-09-22 16:33 | 138K | |
| calculemus2003_queries.ps.gz | 2003-09-22 16:33 | 70K | |
| cicm15.pdf | 2016-07-28 12:12 | 246K | |
| elpi.pdf | 2016-07-28 12:05 | 750K | |
| extreme2001.ps.gz | 2001-05-18 16:21 | 223K | |
| gpce2004.ps.gz | 2005-02-28 17:16 | 181K | |
| holsuperlight.pdf | 2016-07-28 11:45 | 242K | |
| ictcs03.ps.gz | 2003-12-01 17:43 | 91K | |
| jar.ps.gz | 2007-10-20 12:22 | 662K | |
| jar_plmms.pdf | 2009-05-22 11:46 | 270K | |
| jfr.pdf | 2009-01-19 11:35 | 489K | |
| kuratowski.pdf | 2012-05-15 10:30 | 631K | |
| lics15.pdf | 2016-07-28 11:58 | 592K | |
| lics_short.ps.gz | 2001-02-28 14:35 | 30K | |
| main_mcs.pdf | 2016-07-28 11:42 | 939K | |
| mathslides.ps.gz | 2001-04-09 14:27 | 67K | |
| mathweb.ps.gz | 2001-04-09 14:27 | 26K | |
| matita_tutorial.pdf | 2016-07-28 12:25 | 967K | |
| mcs08.pdf.gz | 2008-05-25 17:52 | 760K | |
| mkm.ps.gz | 2001-10-16 12:39 | 182K | |
| mkm06_omdoc_lambdabarmumutilde.ps.gz | 2006-05-12 13:56 | 202K | |
| mkm09.pdf | 2010-02-23 17:12 | 363K | |
| mkm2003.ps.gz | 2003-05-09 16:14 | 59K | |
| mkm2004_disambiguation.ps.gz | 2005-02-28 17:16 | 151K | |
| mkm2004_environment.ps.gz | 2004-06-27 22:39 | 138K | |
| mkm2005_ida.ps.gz | 2006-01-19 13:22 | 302K | |
| mkm2005_lambdabarmumutilde.pdf | 2005-12-12 11:17 | 196K | |
| mkm2007.pdf | 2007-10-20 12:44 | 471K | |
| on-line.ps.gz | 2001-05-18 16:14 | 45K | |
| pate07.pdf | 2008-10-31 10:57 | 197K | |
| plmms2007.pdf | 2008-10-31 10:51 | 206K | |
| ring.ps.gz | 2001-10-16 12:51 | 78K | |
| sadhana.pdf | 2009-02-26 17:27 | 476K | |
| smweb.ps.gz | 2001-05-18 16:17 | 239K | |
| tphol09.pdf | 2009-09-08 10:47 | 234K | |
| tphol2k.ps.gz | 2001-02-28 14:35 | 89K | |
| types06_crafting_a_proof_assistant.ps.gz | 2007-05-28 13:49 | 220K | |
| types07.pdf | 2008-03-13 17:28 | 260K | |
| types09.pdf | 2011-03-22 16:23 | 225K | |
| types2004_setoid_rewrite.ps.gz | 2005-12-12 11:30 | 163K | |
| types2004_whelp.ps.gz | 2005-12-12 11:34 | 269K | |
| uitp06_tinycals.ps.gz | 2007-05-28 13:43 | 238K | |
| uitp08.pdf | 2009-01-19 11:48 | 635K | |
| value.pdf | 2016-07-28 14:02 | 276K | |
| valvar.pdf | 2018-02-06 13:45 | 180K | |
| wrs06.ps.gz | 2007-07-05 09:44 | 218K | |
| www2004.ps.gz | 2004-06-26 16:34 | 131K | |