![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Glasgow-TR-95-04.ps.gz | 12-Oct-2005 15:09 | 113K | |
| Normaliser-2.3.ps.gz | 06-Jan-2004 21:22 | 71K | |
| cycles.ps.gz | 12-Oct-2005 15:10 | 423K | |
| debruijn.ps.gz | 06-Jan-2004 21:22 | 69K | |
| igpl6-6.ps.gz | 12-Oct-2005 15:10 | 281K | |
| lambda.pdf | 06-Jan-2004 21:22 | 614K | |
| lambda.ps.gz | 12-Oct-2005 15:10 | 186K | |
| need.ps.gz | 06-Jan-2004 21:22 | 80K | |
| p16-lamping.pdf | 06-Jan-2004 21:22 | 1.5M | |
| p307-field.pdf | 06-Jan-2004 21:22 | 1.4M | |
| reduma-guide-wk.ps.gz | 06-Jan-2004 21:22 | 238K | |
| type-notes.ps.gz | 06-Jan-2004 21:22 | 271K | |