Index of /home/pgh

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