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