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