Index of /~axj/pub/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	HM-JLAP.bib	07-Jan-2008 16:10	959
	HM-JLAP.pdf	07-Jan-2008 16:10	234K
	HM-JLAP.ps.gz	07-Jan-2008 16:10	185K
	HM-journal.pdf	19-Aug-2007 23:35	217K
	HM.bib	07-Jan-2008 16:10	1.1K
	HM.pdf	27-Jun-2008 15:27	167K
	HM.ps.gz	27-Jun-2008 15:27	112K
	Papers.html	22-Sep-2011 12:12	14K
	ccd.bib	03-Feb-1996 19:36	583
	ccd.ps.gz	03-Feb-1996 19:39	60K
	chen.bib	25-Feb-2007 15:19	1.1K
	chen.pdf	28-Aug-2006 15:09	297K
	chen.ps	30-Aug-2006 14:05	383K
	comp-open.bib	23-May-1997 10:06	1.3K
	comp-open.pdf	17-Jul-2011 22:50	183K
	comp-open.ps.gz	17-Jul-2011 22:50	62K
	compactifications.bib	25-Jul-2011 11:47	294
	compactifications.pdf	25-Jul-2011 11:46	257K
	compactifications.ps.gz	25-Jul-2011 11:46	197K
	dcpo-present.pdf	10-Apr-2008 12:39	201K
	decomp.bib	03-Feb-1996 20:14	758
	decomp.ps.gz	03-Feb-1996 20:12	127K
	diss.bib	03-Feb-1996 19:23	267
	diss.pdf	05-Jul-2009 15:47	543K
	diss.ps.gz	05-Jul-2009 15:47	252K
	doppel.bib	19-Feb-2010 11:27	309
	farjudian.ps.gz	20-Aug-2004 16:34	344K
	habil.bib	03-Feb-1996 19:47	287
	habil.ps.gz	27-Sep-1995 09:26	300K
	handy.bib	03-Feb-1996 18:52	301
	handy.ps.gz	27-Sep-1995 10:04	336K
	handy1.pdf	05-Aug-2011 16:35	1.1M
	handy1.ps.gz	05-Aug-2011 16:35	584K
	hash.bib	03-Feb-1996 19:47	604
	hash.ps.gz	03-Feb-1996 19:43	87K
	heckmann.ps.gz	25-Oct-1995 15:32	24K
	jung.bib	25-Feb-2007 15:17	18K
	kegelmann.ps.gz	06-Apr-2000 11:15	352K
	konecny.ps.gz	31-Oct-2000 17:49	363K
	lambda-calculus.pdf	11-May-2010 19:13	89K
	lambda-calculus.ps.gz	11-May-2010 19:13	133K
	lawson.bib	23-Oct-1997 18:56	387
	lawson.ps.gz	25-Oct-1995 15:32	33K
	log-rel.bib	03-Feb-1996 20:23	884
	log-rel.ps.gz	03-Feb-1996 20:25	84K
	logik.bib	09-Sep-2003 16:43	247
	logik.ps.gz	23-May-1997 09:34	127K
	lta-lics.bib	03-Feb-1996 18:56	961
	lta.bib	04-Jan-2001 10:04	878
	lta.ps.gz	13-Aug-2007 14:16	119K
	mam.bib	18-Sep-1997 18:24	239
	mam.ps.gz	23-May-1997 09:50	74K
	maneggia.ps.gz	16-Jun-2004 10:27	302K
	measures.bib	18-Jul-2005 10:09	1.4K
	measures.pdf	22-Sep-2011 11:16	218K
	measures.ps.gz	22-Sep-2011 11:17	122K
	mls.bib	08-Jul-1999 20:44	1.2K
	mls.ps.gz	08-Jul-1999 20:40	159K
	mls2.bib	19-Sep-2003 12:52	1.1K
	mls2.ps.gz	05-Mar-2001 16:39	122K
	modelle.bib	09-Sep-2003 16:43	260
	pcf.bib	03-Feb-1996 20:19	612
	pcf.ps.gz	03-Feb-1996 20:18	78K
	pdada.pdf	27-Jun-2008 15:27	219K
	pdada.ps.gz	27-Jun-2008 15:27	188K
	power.bib	03-Feb-1996 19:57	1.6K
	power.ps.gz	27-Sep-1995 10:03	107K
	ppd.bib	09-Sep-2003 16:15	2.4K
	ppd.ps.gz	09-Sep-2003 16:14	61K
	priestley.bib	09-May-2006 20:26	1.8K
	priestley.pdf	10-Apr-2006 08:16	257K
	priestley.ps.gz	09-May-2006 20:29	125K
	puhlmann.ps.gz	31-Oct-2000 11:20	199K
	r-integral.pdf	18-Jul-2005 09:56	176K
	r-integral.ps.gz	18-Jul-2005 10:10	88K
	scs.bib	19-Apr-2004 11:24	1.0K
	scs.pdf	19-Apr-2004 11:22	205K
	scs.ps.gz	19-Apr-2004 11:22	232K
	smart.bib	03-Feb-1996 19:51	330
	smart.ps.gz	03-Feb-1996 19:53	56K
	tenyears.bib	23-May-1997 10:00	1.2K
	tenyears.ps.gz	22-Jan-1996 20:51	130K
	thesis_el-zawawy.pdf	26-Mar-2010 17:15	921K
	thesis_klinke.pdf	28-Mar-2012 14:22	2.0M
	tls-databases.bib	03-Feb-1996 18:46	1.3K
	tls-databases.ps.gz	03-Feb-1996 18:44	80K
	trouble.bib	25-Jun-1998 10:21	1.6K
	trouble.ps.gz	11-Sep-1998 18:30	102K
	uni-app.bib	23-May-1997 10:04	870
	uni-app.ps.gz	24-Jan-1996 20:30	96K
	waszkiewicz.ps.gz	04-Nov-2003 18:45	343K