Index of /home/pgh

Icon  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  
[IMG] 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  
[IMG] joe.jpeg                06-May-2003 14:04   10K  
[IMG] joe.pnm                 27-Apr-2003 18:38  169K  
[IMG] 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  
[IMG] 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