Index of /~sacerdot/PAPERS

	Name	Last modified	Size	Description
	Parent Directory		-
	types09.pdf	22-Mar-2011 16:23	225K
	mkm09.pdf	23-Feb-2010 17:12	363K
	tphol09.pdf	08-Sep-2009 10:47	234K
	jar_plmms.pdf	22-May-2009 11:46	270K
	sadhana.pdf	26-Feb-2009 17:27	476K
	uitp08.pdf	19-Jan-2009 11:48	635K
	jfr.pdf	19-Jan-2009 11:35	489K
	UBLCS-2008-18.pdf	20-Nov-2008 14:04	196K
	pate07.pdf	31-Oct-2008 10:57	197K
	plmms2007.pdf	31-Oct-2008 10:51	206K
	mcs08.pdf.gz	25-May-2008 17:52	760K
	types07.pdf	13-Mar-2008 17:28	260K
	mkm2007.pdf	20-Oct-2007 12:44	471K
	jar.ps.gz	20-Oct-2007 12:22	662K
	wrs06.ps.gz	05-Jul-2007 09:44	218K
	types06_crafting_a_proof_assistant.ps.gz	28-May-2007 13:49	220K
	uitp06_tinycals.ps.gz	28-May-2007 13:43	238K
	mkm06_omdoc_lambdabarmumutilde.ps.gz	12-May-2006 13:56	202K
	mkm2005_ida.ps.gz	19-Jan-2006 13:22	302K
	types2004_whelp.ps.gz	12-Dec-2005 11:34	269K
	types2004_setoid_rewrite.ps.gz	12-Dec-2005 11:30	163K
	mkm2005_lambdabarmumutilde.pdf	12-Dec-2005 11:17	196K
	gpce2004.ps.gz	28-Feb-2005 17:16	181K
	mkm2004_disambiguation.ps.gz	28-Feb-2005 17:16	151K
	mkm2004_environment.ps.gz	27-Jun-2004 22:39	138K
	www2004.ps.gz	26-Jun-2004 16:34	131K
	ictcs03.ps.gz	01-Dec-2003 17:43	91K
	calculemus2003_queries.ps.gz	22-Sep-2003 16:33	70K
	calculemus2003_hbugs.ps.gz	22-Sep-2003 16:33	138K
	mkm2003.ps.gz	09-May-2003 16:14	59K
	RAMs_to_Linda.tgz	07-Apr-2003 12:25	1.2M
	V7M.tar.gz	05-Nov-2002 11:53	1.7M
	ring.ps.gz	16-Oct-2001 12:51	78K
	mkm.ps.gz	16-Oct-2001 12:39	182K
	extreme2001.ps.gz	18-May-2001 16:21	223K
	smweb.ps.gz	18-May-2001 16:17	239K
	on-line.ps.gz	18-May-2001 16:14	45K
	Parigot01b.ps.gz	09-Apr-2001 15:10	580K
	mathslides.ps.gz	09-Apr-2001 14:27	67K
	mathweb.ps.gz	09-Apr-2001 14:27	26K
	tphol2k.ps.gz	28-Feb-2001 14:35	89K
	lics_short.ps.gz	28-Feb-2001 14:35	30K
	TESI_FINALE.tgz	28-Feb-2001 11:37	712K