Index of /ftp/pub/jbw/types

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]finite-rank.ps24-Jun-1994 08:18 238K 
[   ]finite-rank.ps.gz24-Jun-1994 08:18 76K 
[   ]strong-normalization-LICS95.ps11-Sep-1995 09:43 236K 
[   ]strong-normalization-LICS95.ps.gz11-Sep-1995 09:46 76K 
[   ]subtyping-undecidable.ps10-Dec-1995 20:17 144K 
[   ]subtyping-undecidable.ps.gz10-Dec-1995 20:17 53K 
[   ]f+eta-typability-undecidable.ps09-Mar-1996 00:25 448K 
[   ]f+eta-typability-undecidable.ps.gz09-Mar-1996 00:25 143K 
[   ]f-undecidable.ps05-Aug-1996 19:10 520K 
[   ]f-undecidable.ps.gz05-Aug-1996 19:10 171K 
[   ]generalized-reduction-explicit-substitution.ps04-Feb-1997 00:33 392K 
[   ]generalized-reduction-explicit-substitution.ps.gz04-Feb-1997 00:33 138K 

Apache/2.2.15 (Scientific Linux) Server at cs-www.bu.edu Port 80