Index of /home/pgh

      Name                    Last modified      Size  Description
2.html 28-Jun-2001 13:59 12K 2html.gs 31-Oct-1997 17:18 6.6K 2tex.gs 31-Oct-1997 17:18 7.5K Arithmetic_expressio..> 31-Aug-2003 12:58 2.7K Boole.dvi 09-Nov-1997 22:47 8.1K Boole.half 13-Oct-1997 12:20 7.5K Boole.html 09-Nov-1997 22:47 8.1K Conway.lhs 28-Jul-2000 22:29 3.8K CuttingEdge.pdf 17-Nov-1999 20:58 44K Expr.dvi 09-Jan-1998 13:26 10K Expr.half 09-Jan-1998 13:26 8.3K Expr.html 09-Jan-1998 13:25 8.8K Games.dvi 15-Jun-1998 16:55 13K Games.html 26-Jul-2001 09:50 12K Heyting.dvi 09-Nov-1997 22:49 15K Heyting.half 13-Oct-1997 12:21 14K Heyting.html 09-Nov-1997 22:48 15K ID.dvi 11-Mar-1999 14:31 17K ID.half 11-Mar-1999 14:31 15K ID.html 11-Mar-1999 14:31 16K IO.html 01-Nov-1999 10:37 0 IOG.txt 19-Jul-1998 10:24 14K Interface2.html 03-Feb-1999 21:54 14K Lambda_calculus.dvi 05-Apr-2000 22:28 19K Lambda_calculus.gs 14-Oct-1998 13:27 3.9K Lambda_calculus.lhs 05-Apr-2000 22:28 16K RTIsm.pdf 04-Jun-2002 14:38 189K RTIsm.ps 04-Jun-2002 14:38 277K RTIsm.tex 04-Jun-2002 14:38 51K abbrev.sty 18-Aug-2000 11:49 19K add.html 11-Nov-2001 15:52 3.7K agda.html 09-Mar-2003 21:01 5.0K amen-talk.ps 22-Feb-2001 20:23 77K amen.dvi 27-Apr-1999 10:15 26K amen.html 23-Jan-1999 18:18 4.3K amen.ps 06-Sep-1999 13:03 197K amenities.agda 14-Jul-2000 20:58 3.0K anton1.ps 01-Oct-2000 10:26 154K anton1.tex 01-Oct-2000 10:26 26K applied.html 10-Feb-2003 15:00 8.0K arithmetic.dvi 04-Feb-2004 12:32 28K arithmetic.lhs 04-Feb-2004 12:32 23K arithmetic.ps 04-Feb-2004 12:32 124K behaviour.html 28-Aug-1997 16:13 7.8K bonmots.txt 06-Aug-2003 09:17 6.2K chap-apologia.ps.gz 23-Jan-1999 23:11 50K chat.html 02-Dec-2003 04:12 14K choses.half 13-Nov-2003 16:17 3.4K coalg.agda 29-Aug-2000 15:12 17K code.tgz 02-Jul-2000 15:04 17K coit.html 07-Apr-2000 10:14 17K contents.dvi 08-Feb-1998 12:19 13K contents.tex 08-Feb-1998 12:21 4.4K conway.agda 28-Jul-2000 22:29 8.9K conway.html 29-Mar-2003 15:05 11K conway.lhs 15-Sep-2001 14:55 5.0K cv-nonac.pdf 13-Nov-2003 16:17 7.2K cv-nonac.ps 13-Nov-2003 16:17 17K cv.dvi 07-Aug-2003 07:45 10K cv.pdf 07-Aug-2003 07:44 14K cv.ps 07-Aug-2003 07:44 27K cwrite.dvi 28-Nov-1999 01:36 53K datastream.html 13-Nov-2003 16:17 4.5K datastream.lhs 13-Nov-2003 16:17 4.1K discrete.html 26-Jan-2003 13:12 4.4K dtp00.dvi 12-Jun-2000 06:14 50K dtp00.ps 12-Jun-2000 06:13 150K dummet.html 19-Jun-2003 08:35 12K dybjer.html 28-Mar-2002 11:24 32K email.gif 07-Feb-2002 13:02 3.0K epsilon0.agda 16-Mar-2001 17:10 3.1K family.html 19-Feb-2000 18:35 15K foo.txt 08-Oct-1998 16:20 2.0K games.html 15-Jun-1998 16:55 9.7K gamma.dvi 06-Oct-2000 19:28 660K gamma.dvi.gz 06-Oct-2000 19:34 244K gamma.ps 06-Oct-2000 19:32 1.6M gamma.ps.gz 06-Oct-2000 19:38 658K giovanni.pdf 05-May-2003 10:07 231K giovanni.ps 05-May-2003 10:08 389K giovanni.tex 05-May-2003 10:08 126K grammar.html 24-Aug-2000 13:20 6.8K half.html 29-Apr-2000 17:49 5.2K halfp.gs 03-Feb-1999 11:25 24K halfpp.hs 13-Mar-1999 15:13 23K halfpp.tar.gz 11-Mar-1999 12:54 16K holy-trinity.html 29-Jun-2001 07:45 4.2K homework.lhs 19-Feb-2000 13:13 6.2K index.html.KEEP 06-Apr-2001 17:24 2.2K interact.lhs 02-Sep-1998 01:47 7.4K interactive_systems...> 30-Jul-2001 18:38 19K interfaces.pdf 18-Oct-2002 13:27 72K interfaces.ps 18-Oct-2002 13:28 59K interfaces.tex 18-Oct-2002 13:28 13K io.html 11-Jun-2001 16:56 39K ioconf.dvi 16-May-2000 15:04 68K ioconf.ps 16-May-2000 15:05 208K iorep.dvi 16-May-2000 15:03 65K iorep.ps 16-May-2000 15:04 196K iotrees.dvi 16-Feb-2000 09:51 65K iotrees.ps 10-Feb-2000 11:31 196K joe.jpeg 06-May-2003 14:04 10K joe.pnm 27-Apr-2003 18:38 169K judy.jpg 23-Jul-2000 10:34 64K lenses_paper.ps 15-Jun-2000 09:33 88K lenses_talk.ps 09-May-2000 18:54 177K lenses_talk2.ps 08-Dec-2000 16:35 174K machines.html 10-Mar-1998 23:43 4.1K mahlo.agda 13-Nov-2003 16:17 1.4K mod.pdf 09-May-2003 07:49 84K mod.ps 09-May-2003 07:49 147K moreverb.sty 01-Oct-2000 10:33 5.5K mother.dvi.gz 10-May-1999 12:26 25K mu.dvi 20-Apr-1999 09:13 12K mu.half 20-Apr-1999 09:14 8.9K mu.html 20-Apr-1999 09:13 13K my_mahlo.half 23-Feb-2000 00:18 3.5K naturals.agda 14-Jul-2000 20:58 839 nextU.agda 14-Jul-2000 20:58 1.5K number-classes.html 19-Jun-2002 16:36 5.4K obsessed.html 11-Apr-2002 12:28 2.2K old_index.html 04-Feb-2004 12:32 2.8K on.dvi 09-Nov-1997 22:49 5.5K on.half 13-Oct-1997 12:21 4.3K ord-nots.lhs 05-Jun-2002 12:19 5.1K ordasfam.dvi 29-Apr-2000 17:39 15K ordasfam.ps 29-Apr-2000 17:39 77K ordasfam.tex 29-Apr-2000 17:38 16K ordinal-notations.html 05-Jun-2002 12:19 19K ordinals.agda 14-Jul-2000 20:58 2.8K ordinals.html 21-Apr-2003 16:36 6.2K ordinals.ps 19-May-2001 14:35 176K ordinals_talk.ps 09-May-1999 20:12 0 ordlens.agda 14-Jul-2000 20:57 20K people.html 04-Feb-2004 12:32 41K pgh.jpg 17-Jan-1997 16:03 26K pgh.pgp 15-Aug-2001 09:02 33K pi3ref7.agda 13-Nov-2003 16:17 7.7K pierre.pdf 06-May-2003 11:04 319K pierre.ps 06-May-2003 11:04 561K portugal.dvi.gz 05-Jul-2000 10:19 45K portugal.ps.gz 05-Jul-2000 10:20 41K pos.dvi 10-Nov-1999 10:40 18K posbar.dvi 01-Jun-1999 15:20 21K posbar.ps 01-Jun-1999 15:20 153K proof.sty 18-Aug-2000 11:48 9.2K proof.txt 14-Aug-1998 08:41 3.3K pt-ordinals.html 24-Jul-1999 13:59 10K pt-ordinals2.txt 24-Jul-1999 13:58 3.9K pt.pdf 18-Nov-2003 20:00 141K pt.ps 18-Nov-2003 20:00 244K pt.tex 18-Nov-2003 20:00 40K ptcs2001a.pdf 19-Oct-2001 12:31 704K section_notation.html 22-Feb-1999 13:57 2.8K short-amen.lhs 29-Jun-2001 10:15 3.6K skolem.html 26-Jul-2000 14:03 2.9K sm.dvi 28-Nov-2000 10:41 13K sm.ps 13-Nov-2003 16:17 212K sm.tar.gz 08-Apr-1998 13:19 355K spec.dvi 12-Jun-2000 06:12 50K spec.ps 12-Jun-2000 06:12 150K standard.dvi 06-Mar-1998 13:19 3.6K standard.half 06-Mar-1998 13:19 2.3K standard.html 06-Mar-1998 13:19 2.7K summary.pdf 12-Jan-2004 11:13 339K summary.ps 12-Jan-2004 11:13 591K summary.tex 12-Jan-2004 11:13 131K talkrc.dvi 13-May-2002 11:23 20K talkrc.pdf 05-May-2003 10:09 89K talkrc.ps 13-May-2002 11:24 184K thesis.html 10-Nov-1999 13:07 3.0K thesis3.tgz 06-Oct-2000 19:40 415K transaction_processi..> 27-Dec-2002 18:44 7.4K transition_systems.html 17-Sep-2000 16:29 22K ts.dvi 09-Nov-1997 22:49 40K ts.half 09-Nov-1997 22:48 37K ts.html 26-Jul-2000 11:27 38K tt.dvi 27-Mar-2002 18:18 7.5K tt.lhs 27-Mar-2002 18:18 6.3K types.html 29-Dec-2002 16:32 15K veblenU.dvi 26-Mar-1999 20:38 48K veblenU.half 26-Mar-1999 20:39 39K veblenU.html 26-Mar-1999 20:39 46K world.dvi 09-Nov-1997 22:47 12K world.half 13-Oct-1997 12:20 12K wwwwww.half 31-Jul-1999 14:50 1.4K wwwwww.html 20-Sep-1999 09:09 14K wwwwww.lhs 25-Dec-1998 14:40 1.9K xy.sty 01-Oct-2000 10:34 3.6K