Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Index of /~udr/papers
[go: Go Back, main page]

Index of /~udr/papers

      Name                    Last modified       Size  Description

[DIR] Parent Directory 16-Mar-2005 13:50 - [CMP] Brian-thesis.ps.gz 23-Sep-2002 16:31 588k [CMP] absint.ps.gz 15-Feb-2003 17:28 56k [   ] acceptors.dvi 15-Feb-2003 17:28 86k [CMP] acceptors.ps.gz 15-Feb-2003 17:28 66k [   ] arrays.dvi 15-Feb-2003 17:28 39k [   ] assign.dvi 15-Feb-2003 17:28 96k [CMP] assign.ps.gz 15-Feb-2003 17:28 70k [CMP] classes.dvi.gz 15-Feb-2003 17:28 50k [CMP] classes.ps.gz 15-Feb-2003 17:28 118k [CMP] clausal.ps.gz 15-Feb-2003 17:28 59k [CMP] counter.ps.gz 15-Feb-2003 17:28 2k [   ] directional.dvi 15-Feb-2003 17:28 136k [CMP] directional.ps.gz 15-Feb-2003 17:28 92k [CMP] global.dvi.gz 15-Feb-2003 17:28 32k [CMP] global.object.ps.gz 15-Feb-2003 17:28 179k [CMP] global.ps.gz 15-Feb-2003 17:28 59k [   ] heap-parametricity.ps 08-Jan-2004 21:18 375k [   ] higher.dvi 15-Feb-2003 17:28 76k [CMP] higher.ps.gz 15-Feb-2003 17:28 59k [CMP] ilcr.dvi.gz 15-Feb-2003 17:28 30k [CMP] ilcr.ps.gz 15-Feb-2003 17:28 88k [DIR] inaugural-slides/ 08-May-2003 21:36 - [   ] logical.dvi 15-Feb-2003 17:28 74k [CMP] naturality.dvi.gz 15-Feb-2003 17:28 17k [CMP] naturality.ps.gz 15-Feb-2003 17:28 58k [   ] objects-and-classes.pdf 08-Dec-2000 19:13 552k [CMP] objects-and-classes...> 08-Dec-2000 19:09 167k [CMP] oosem.dvi.gz 15-Feb-2003 17:28 46k [CMP] oosem.ps.gz 15-Feb-2003 17:28 90k [   ] parametric.pdf 24-Mar-2004 00:41 201k [   ] parametric.ps 04-May-2004 05:16 223k [   ] passivity.dvi 15-Feb-2003 17:28 81k [CMP] passivity.ps.gz 15-Feb-2003 17:28 66k [   ] refinement.dvi 15-Feb-2003 17:28 64k [   ] refinement.pdf 02-Jul-2001 13:38 228k [CMP] refinement.ps.gz 18-Jun-2001 16:25 138k [   ] sci.inference.dvi 15-Feb-2003 17:29 72k [CMP] sci.inference.ps.gz 15-Feb-2003 17:29 58k [   ] scirk2.dvi 15-Feb-2003 17:29 79k [CMP] scirk2.ps.gz 15-Feb-2003 17:29 93k [   ] sheaf.pdf 02-Jul-2001 13:38 293k [CMP] sheaf.ps.gz 02-Jul-2001 13:15 121k [   ] state.abstract.dvi 15-Feb-2003 17:29 78k [CMP] state.abstract.ps.gz 15-Feb-2003 17:29 60k [CMP] state.bibliography.p..> 15-Feb-2003 17:29 18k [   ] state.dvi 15-Feb-2003 17:29 82k [   ] state.full.dvi 15-Feb-2003 17:29 151k [CMP] state.full.ps.gz 15-Feb-2003 17:29 101k [CMP] state.ps.gz 15-Feb-2003 17:29 61k [CMP] swarup.dvi.gz 15-Feb-2003 17:29 160k [CMP] synthesis.ps.gz 15-Feb-2003 17:29 80k [CMP] tapos.ps.gz 08-Dec-2000 19:02 176k [CMP] term.ps.gz 15-Feb-2003 17:29 58k [   ] termination.dvi 15-Feb-2003 17:29 118k [CMP] termination.ps.gz 15-Feb-2003 17:29 88k [   ] yoneda.dvi 15-Feb-2003 17:29 115k [CMP] yoneda.ps.gz 15-Feb-2003 17:29 95k

Apache/1.3.27 Server at www.cs.bham.ac.uk Port 80