Index of /users/goguen/pps
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/layout.gif)
4mari.pdf 01-Jul-2004 21:12 834K
![[ ]](/icons/a.gif)
4mari.ps 01-Jul-2004 21:12 11M
![[ ]](/icons/unknown.gif)
28oct_odbase_slides.ppt 28-Oct-2002 17:25 452K
Ascore.pdf 29-May-2006 06:44 80K
BremenPoster.pdf 07-Nov-2005 08:04 200K
CurryHoward-slides.pdf 13-Oct-2005 07:54 115K
FS804GoguenJ.pdf 09-Sep-2004 15:48 147K
IAJE.doc 17-Nov-2004 08:30 110K
SST.pdf 01-Nov-2001 16:10 160K
SST.ps 14-May-2001 19:53 1.0M
ZCE.pdf 02-Jun-2003 18:44 356K
ZCE.ps 25-Jan-2003 16:38 59K
abp.ps 18-Nov-2002 17:37 194K
agents-c.pdf 20-Aug-2002 14:09 113K
agents-c.ps 20-Aug-2002 14:09 100K
agents.pdf 06-Apr-2004 08:02 163K
agents.ps 07-Apr-2003 16:30 146K
aizu.ps 23-Nov-2002 20:19 492K
apweb.pdf 02-Feb-2004 17:43 501K
apweb.ps 02-Feb-2004 17:43 2.5M
apwebsh.ps 02-Feb-2004 17:44 317K
as.pdf 13-Jan-2005 18:50 532K
as.ps 01-May-2002 19:32 1.0M
ase97.ps 08-Mar-2005 20:31 1.5M
beatcs-adj.ps 15-May-2003 09:55 322K
bio.pdf 03-Mar-2004 10:36 61K
bremen05sl.pdf 10-Oct-2005 08:48 1.7M
bremen05sl.ps 10-Oct-2005 08:47 40M
c.pdf 06-Jul-2005 02:25 391K
c4rw.pdf 31-Jan-2003 16:38 290K
c4rw.ps 15-Apr-2003 10:33 254K
cccrw.ps 10-Sep-2002 22:46 59K
cccrwsl.ps 18-Nov-2002 00:12 1.2M
ccoind.ps 07-Jun-2002 19:14 401K
ccrw.ps 30-Nov-2000 20:26 99K
ch1.ps 20-Aug-2002 13:38 2.1M
circ.ps 30-Nov-2000 21:40 398K
coind.ps 30-Nov-2000 20:34 547K
comblog05.pdf 16-Jul-2005 00:57 401K
comblog05.ps 16-Jul-2005 00:56 965K
cong.ps 23-Nov-2002 20:17 525K
cpbsh.pdf 27-Jun-2004 20:28 265K
cpbsh.ps 01-Jul-2004 08:13 297K
csenc.ps 30-May-2003 10:32 111K
csencsl.ps 29-Sep-2003 18:33 134K
dag04.pdf 24-May-2005 14:31 238K
dag04.ps 24-May-2005 14:31 230K
dallas.pdf 09-Jul-2005 12:47 242K
dallas.ps 05-Nov-2003 07:05 277K
dcp.pdf 13-Feb-2002 11:17 138K
dcp.ps 25-Apr-2002 13:05 278K
det.doc 28-May-2004 20:33 49K
dmtcs.ps 30-Nov-2000 20:34 534K
dov05.pdf 03-Oct-2005 23:02 395K
dov05.ps 03-Oct-2005 23:02 389K
dry.ps 25-Feb-2003 21:25 185K
ecir03_11_16.doc 17-Nov-2002 10:44 674K
edissues.ps 23-Nov-2002 20:20 327K
essay.ps 14-May-2003 10:18 59K
ffinal.pdf 20-Feb-2003 19:11 53K
flirts02.ps 11-Jun-2002 22:46 167K
fois04.pdf 23-May-2005 11:14 73K
fois04.ps 23-May-2005 11:14 73K
ftp97.ps 23-Nov-2002 20:24 783K
graz04.backup.doc 02-Feb-2004 16:19 101K
graz04.doc 18-Apr-2004 19:27 49K
graz04sh.doc 02-Feb-2004 16:19 64K
ha.ps 30-Nov-2000 20:27 759K
halgbko.ps 03-Oct-2003 16:26 76K
hasl00.ps 23-Nov-2002 20:25 1.9M
hherb.pdf 17-Nov-2001 21:50 396K
hherb.ps 17-Nov-2001 21:49 681K
hobj.ps 05-Feb-2003 18:15 295K
iasi.ps 23-Nov-2002 20:10 732K
iccs.ps 28-Feb-2003 17:43 14M
iccs05.pdf 08-Oct-2005 03:02 332K
iccs05.ps 08-Oct-2005 03:02 1.0M
iccs05sl.pdf 08-Aug-2005 13:59 370K
iccs05sl.ps 08-Aug-2005 13:59 895K
icse98.ps 08-Mar-2005 20:33 1.4M
ifi04.pdf 09-Apr-2006 21:56 322K
ifi04.ps 09-Apr-2006 21:56 652K
imod.ps 17-Oct-2003 10:52 371K
indexed.ps 13-Jul-2004 14:32 344K
infw.pdf 04-Oct-2001 12:38 58K
ins.pdf 07-Apr-2006 19:55 512K
ins.ps 24-Sep-2003 08:54 536K
insbko.ps 31-Jul-2005 08:35 77K
intro.ps 29-Sep-2000 22:16 416K
iobj.ps 17-Oct-1999 18:17 1.0M
jcsed05.pdf 16-Jul-2005 09:36 54K
jcsed05.ps 16-Jul-2005 09:36 43K
kdov.pdf 13-Oct-2005 13:25 411K
kdov.ps 13-Oct-2005 13:25 389K
keio04.pdf 02-Jun-2006 16:29 97K
keio04.ps 02-Jun-2006 16:29 481K
kfwadt04.pdf 10-Feb-2004 08:10 46K
l 13-Oct-2005 12:30 12K
lisbon00.ps 28-Oct-2002 17:04 1.3M
lisbon04.pdf 16-Jul-2005 00:57 401K
lisbon04.ps 16-Jul-2005 00:56 965K
lisbon04sl.pdf 03-Oct-2005 12:45 417K
lisbon04sl.ps 23-Jun-2005 19:56 855K
logic04.pdf 16-Oct-2004 21:58 213K
logic04.ps 16-Oct-2004 21:59 552K
manif.ps 04-Oct-2003 12:07 233K
minst.ps 10-May-2002 16:34 840K
moreh.ps 23-Nov-2002 15:33 436K
mq.pdf 23-Apr-2004 13:28 299K
mq.ps 23-Apr-2004 13:28 292K
narr.pdf 15-May-2004 13:31 455K
narr.ps 15-May-2004 13:31 6.0M
nel.pdf 29-Oct-2004 11:36 250K
nel05.pdf 02-Feb-2005 22:38 224K
nel05.ps 02-Feb-2005 22:38 600K
nosa1.ps 07-Mar-2002 21:28 931K
notn.pdf 21-Apr-2003 21:44 177K
notn.ps 21-Apr-2003 21:44 155K
obis.ps 10-Feb-2003 21:37 119K
objbki.pdf 17-Mar-2005 10:11 163K
odbase-08-17.doc 17-Aug-2002 20:28 437K
odbase.ps 21-Aug-2002 19:43 1.1M
old.lisbon04.pdf 07-Jun-2005 20:41 369K
old.lisbon04.ps 07-Jun-2005 20:41 932K
onto5.pdf 18-Feb-2006 12:06 222K
onto5.ps 18-Feb-2006 12:06 243K
orlando96.ps 16-Apr-2002 21:28 373K
ox-mono89.ps 15-Aug-2004 17:37 308K
pda.pdf 18-Feb-2003 09:28 542K
pda.ps 05-Feb-2003 16:08 109K
pearl.ps 11-Jun-2002 17:41 292K
pfscore.pdf 20-Mar-2005 15:34 200K
pfscore.ps 20-Mar-2005 15:34 166K
pods05.pdf 07-Dec-2004 14:05 932K
pods05.ps 07-Dec-2004 14:05 14M
real.pdf 11-Apr-2002 09:56 245K
real.ps 17-Apr-2002 13:54 460K
recon.ps 03-Feb-2003 21:29 632K
resume.ps 30-Apr-2006 00:40 396K
resume11.pdf 01-Mar-2003 08:39 218K
rodfest.ps 11-May-2002 17:46 840K
rqelit.ps 17-Mar-2005 11:00 212K
rwl00.ps 10-Sep-2002 23:04 681K
schlomo.pdf 03-Dec-2004 17:29 144K
schlomo.ps 03-Dec-2004 17:28 1.4M
scia04.pdf 27-Oct-2004 13:58 345K
scia04.ps 27-Oct-2004 13:58 792K
sei.ps 23-Nov-2002 20:12 156K
sheaf.ps 08-Jul-2004 08:04 741K
shom-abs.pdf 03-Aug-2002 14:59 37K
shom-abs.ps 04-Aug-2002 20:24 31K
shom.pdf 04-Aug-2002 20:45 276K
shom.ps 04-Aug-2002 20:45 261K
sigreps.ps 19-Jul-2003 10:10 1.5M
sissues.ps 05-Oct-1998 21:42 160K
sti.pdf 02-Jun-2005 15:00 282K
sti.ps 05-Jun-2001 09:51 480K
style-lecture.ppt 19-Jun-2005 15:08 806K
style04.pdf 03-Dec-2004 17:29 144K
style04.ps 03-Dec-2004 17:28 1.4M
style06.pdf 02-Jun-2006 16:28 335K
style06.ps 02-Jun-2006 16:28 5.3M
subs.ps 16-Apr-2002 21:28 678K
taiwan.ps 08-Mar-2005 21:11 105K
taiwanj.pdf 15-May-2002 19:05 168K
taiwanj.ps 29-May-2003 19:22 3.4M
tasop.ps 20-Nov-2002 21:04 331K
taspm.pdf 01-May-2006 09:12 233K
taspm.ps 01-May-2006 09:12 1.7M
tat97.ps 08-Mar-2005 21:17 1.8M
tat99.ps 13-Oct-2002 20:44 1.3M
tcs97.pdf 14-Jul-2005 01:22 337K
tcs97.ps 09-Aug-2002 16:48 593K
tpasth.ps 07-Mar-2002 22:23 604K
uid.pdf 12-Feb-2004 05:37 252K
uid.ps 11-Jan-2004 13:24 254K
uitp.ps 15-May-2002 22:11 3.0M
unif04sl.pdf 01-Jul-2004 08:03 131K
unif04sl.ps 01-Jul-2004 08:03 146K
utyop.pdf 03-Mar-2005 17:58 332K
utyop.ps 03-Mar-2005 17:58 297K
veronasl.ps 20-Aug-2003 13:52 262K
vri2.pdf 19-May-2005 11:30 228K
vri2.ps 19-May-2005 09:56 13M
vstte.pdf 28-Aug-2005 09:23 208K
vstte.ps 28-Aug-2005 09:23 199K
vw01p.ps 17-Aug-2002 18:36 312K
vw02.pdf 27-Jan-2002 23:48 77K
wadt02imod.ps 14-Jan-2003 15:58 234K
werner.ppt 31-Oct-2004 19:22 1.6M
wersl.ps 28-Oct-2002 17:08 312K
z.ps 27-Jul-2003 08:45 366K