Index of /home/pgh

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