Index of /~sacerdot/PAPERS

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]www2004.ps.gz2004-06-26 16:34 131K 
[   ]wrs06.ps.gz2007-07-05 09:44 218K 
[   ]valvar.pdf2018-02-06 13:45 180K 
[   ]value.pdf2016-07-28 14:02 276K 
[   ]uitp08.pdf2009-01-19 11:48 635K 
[   ]uitp06_tinycals.ps.gz2007-05-28 13:43 238K 
[   ]types2004_whelp.ps.gz2005-12-12 11:34 269K 
[   ]types2004_setoid_rewrite.ps.gz2005-12-12 11:30 163K 
[   ]types09.pdf2011-03-22 16:23 225K 
[   ]types07.pdf2008-03-13 17:28 260K 
[   ]types06_crafting_a_proof_assistant.ps.gz2007-05-28 13:49 220K 
[   ]tphol2k.ps.gz2001-02-28 14:35 89K 
[   ]tphol09.pdf2009-09-08 10:47 234K 
[   ]smweb.ps.gz2001-05-18 16:17 239K 
[   ]sadhana.pdf2009-02-26 17:27 476K 
[   ]ring.ps.gz2001-10-16 12:51 78K 
[   ]plmms2007.pdf2008-10-31 10:51 206K 
[   ]pate07.pdf2008-10-31 10:57 197K 
[   ]on-line.ps.gz2001-05-18 16:14 45K 
[   ]mkm2007.pdf2007-10-20 12:44 471K 
[   ]mkm2005_lambdabarmumutilde.pdf2005-12-12 11:17 196K 
[   ]mkm2005_ida.ps.gz2006-01-19 13:22 302K 
[   ]mkm2004_environment.ps.gz2004-06-27 22:39 138K 
[   ]mkm2004_disambiguation.ps.gz2005-02-28 17:16 151K 
[   ]mkm2003.ps.gz2003-05-09 16:14 59K 
[   ]mkm09.pdf2010-02-23 17:12 363K 
[   ]mkm06_omdoc_lambdabarmumutilde.ps.gz2006-05-12 13:56 202K 
[   ]mkm.ps.gz2001-10-16 12:39 182K 
[   ]mcs08.pdf.gz2008-05-25 17:52 760K 
[   ]matita_tutorial.pdf2016-07-28 12:25 967K 
[   ]mathweb.ps.gz2001-04-09 14:27 26K 
[   ]mathslides.ps.gz2001-04-09 14:27 67K 
[   ]main_mcs.pdf2016-07-28 11:42 939K 
[   ]lics_short.ps.gz2001-02-28 14:35 30K 
[   ]lics15.pdf2016-07-28 11:58 592K 
[   ]kuratowski.pdf2012-05-15 10:30 631K 
[   ]jfr.pdf2009-01-19 11:35 489K 
[   ]jar_plmms.pdf2009-05-22 11:46 270K 
[   ]jar.ps.gz2007-10-20 12:22 662K 
[   ]ictcs03.ps.gz2003-12-01 17:43 91K 
[   ]holsuperlight.pdf2016-07-28 11:45 242K 
[   ]gpce2004.ps.gz2005-02-28 17:16 181K 
[   ]extreme2001.ps.gz2001-05-18 16:21 223K 
[   ]elpi.pdf2016-07-28 12:05 750K 
[   ]cicm15.pdf2016-07-28 12:12 246K 
[   ]calculemus2003_queries.ps.gz2003-09-22 16:33 70K 
[   ]calculemus2003_hbugs.ps.gz2003-09-22 16:33 138K 
[   ]assembler.pdf2016-07-28 14:12 168K 
[   ]V7M.tar.gz2002-11-05 11:53 1.7M 
[   ]UBLCS-2008-18.pdf2008-11-20 14:04 196K 
[   ]TESI_FINALE.tgz2001-02-28 11:37 712K 
[   ]RAMs_to_Linda.tgz2003-04-07 12:25 1.2M 
[   ]Parigot01b.ps.gz2001-04-09 15:10 580K 

Apache/2.4.56 (Debian) Server at www.cs.unibo.it Port 80