![]() | 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_expressions.hs | 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.html | 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_processing.html | 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 | |