Index of /~sacerdot/PAPERS

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]types09.pdf22-Mar-2011 16:23 225K 
[   ]mkm09.pdf23-Feb-2010 17:12 363K 
[   ]tphol09.pdf08-Sep-2009 10:47 234K 
[   ]jar_plmms.pdf22-May-2009 11:46 270K 
[   ]sadhana.pdf26-Feb-2009 17:27 476K 
[   ]uitp08.pdf19-Jan-2009 11:48 635K 
[   ]jfr.pdf19-Jan-2009 11:35 489K 
[   ]UBLCS-2008-18.pdf20-Nov-2008 14:04 196K 
[   ]pate07.pdf31-Oct-2008 10:57 197K 
[   ]plmms2007.pdf31-Oct-2008 10:51 206K 
[   ]mcs08.pdf.gz25-May-2008 17:52 760K 
[   ]types07.pdf13-Mar-2008 17:28 260K 
[   ]mkm2007.pdf20-Oct-2007 12:44 471K 
[   ]jar.ps.gz20-Oct-2007 12:22 662K 
[   ]wrs06.ps.gz05-Jul-2007 09:44 218K 
[   ]types06_crafting_a_proof_assistant.ps.gz28-May-2007 13:49 220K 
[   ]uitp06_tinycals.ps.gz28-May-2007 13:43 238K 
[   ]mkm06_omdoc_lambdabarmumutilde.ps.gz12-May-2006 13:56 202K 
[   ]mkm2005_ida.ps.gz19-Jan-2006 13:22 302K 
[   ]types2004_whelp.ps.gz12-Dec-2005 11:34 269K 
[   ]types2004_setoid_rewrite.ps.gz12-Dec-2005 11:30 163K 
[   ]mkm2005_lambdabarmumutilde.pdf12-Dec-2005 11:17 196K 
[   ]gpce2004.ps.gz28-Feb-2005 17:16 181K 
[   ]mkm2004_disambiguation.ps.gz28-Feb-2005 17:16 151K 
[   ]mkm2004_environment.ps.gz27-Jun-2004 22:39 138K 
[   ]www2004.ps.gz26-Jun-2004 16:34 131K 
[   ]ictcs03.ps.gz01-Dec-2003 17:43 91K 
[   ]calculemus2003_queries.ps.gz22-Sep-2003 16:33 70K 
[   ]calculemus2003_hbugs.ps.gz22-Sep-2003 16:33 138K 
[   ]mkm2003.ps.gz09-May-2003 16:14 59K 
[   ]RAMs_to_Linda.tgz07-Apr-2003 12:25 1.2M 
[   ]V7M.tar.gz05-Nov-2002 11:53 1.7M 
[   ]ring.ps.gz16-Oct-2001 12:51 78K 
[   ]mkm.ps.gz16-Oct-2001 12:39 182K 
[   ]extreme2001.ps.gz18-May-2001 16:21 223K 
[   ]smweb.ps.gz18-May-2001 16:17 239K 
[   ]on-line.ps.gz18-May-2001 16:14 45K 
[   ]Parigot01b.ps.gz09-Apr-2001 15:10 580K 
[   ]mathslides.ps.gz09-Apr-2001 14:27 67K 
[   ]mathweb.ps.gz09-Apr-2001 14:27 26K 
[   ]tphol2k.ps.gz28-Feb-2001 14:35 89K 
[   ]lics_short.ps.gz28-Feb-2001 14:35 30K 
[   ]TESI_FINALE.tgz28-Feb-2001 11:37 712K 

Apache/2.2.16 (Debian) DAV/2 PHP/5.3.3-7+squeeze17 with Suhosin-Patch mod_ssl/2.2.16 OpenSSL/0.9.8o mod_perl/2.0.4 Perl/v5.10.1 Server at re.cs.unibo.it Port 80