![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BRICS-RS-01-23.dvi | 2006-09-25 17:51 | 141K | |
| BRICS-RS-98-12.dvi | 1998-09-17 06:36 | 20K | |
| Tdpe.tar.gz | 2002-04-06 01:42 | 302K | |
| abstracting-control.pdf | 2015-08-17 15:39 | 1.1M | |
| d_scientia.pdf | 2007-01-05 16:23 | 824K | |
| damian-danvy.ps.gz | 2000-03-16 09:41 | 148K | |
| danvy92representing...> | 2002-04-15 10:37 | 84K | |
| defunc.pdf | 2006-11-13 23:14 | 254K | |
| flow-trans.ps.gz | 2001-05-23 14:43 | 119K | |
| functional-correspon..> | 2011-07-09 18:18 | 171K | |
| nbe-typed-jfp.pdf | 2010-06-17 13:48 | 159K | |
| on-evaluation-contex..> | 2009-03-14 14:40 | 113K | |
| sdarticle.pdf | 2006-09-25 17:54 | 369K | |
| simple.ps | 2003-03-25 17:58 | 260K | |
| tdpe-ln.pdf | 1999-07-11 17:20 | 280K | |
| tdpe-ln.ps | 1999-07-11 17:18 | 345K | |
| tdpe-ln.ps.gz | 1999-07-11 17:18 | 141K | |