Index of /users/goguen/pps

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 4mari.pdf 01-Jul-2004 21:12 834K [   ] 4mari.ps 01-Jul-2004 21:12 11M [   ] 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