Index of /~jlavalle/papers/type-theory

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 ECS-LFCS-86-1.dvi.gz          14-Oct-2010 14:10   31K  
 ECS-LFCS-86-14.ps.gz          14-Oct-2010 14:10  138K  
 ECS-LFCS-86-15.ps.gz          14-Oct-2010 14:10   43K  
 ECS-LFCS-86-16.ps.gz          14-Oct-2010 14:10   91K  
 ECS-LFCS-86-17.ps.gz          14-Oct-2010 14:10  141K  
 ECS-LFCS-86-21.ps.gz          14-Oct-2010 14:10   42K  
 ECS-LFCS-87-26.ps.gz          14-Oct-2010 14:10   80K  
 ECS-LFCS-88-56.ps.gz          14-Oct-2010 14:10   73K  
 ECS-LFCS-88-63.ps.gz          14-Oct-2010 14:10  515K  
 ECS-LFCS-88-66_revised.ps.gz  14-Oct-2010 14:10   47K  
 ECS-LFCS-89-71.ps.gz          14-Oct-2010 14:10  180K  
 ECS-LFCS-89-73.ps.gz          14-Oct-2010 14:10   89K  
 ECS-LFCS-89-102.ps.gz         14-Oct-2010 14:10   70K  
 ECS-LFCS-90-113.ps.gz         14-Oct-2010 14:10  112K  
 ECS-LFCS-90-115.ps.gz         14-Oct-2010 14:10   79K  
 ECS-LFCS-90-119.ps.gz         14-Oct-2010 14:10  448K  
 ECS-LFCS-91-131.ps.gz         14-Oct-2010 14:10   82K  
 ECS-LFCS-91-160.ps.gz         14-Oct-2010 14:10   52K  
 ECS-LFCS-91-162.ps.gz         14-Oct-2010 14:10  149K  
 ECS-LFCS-91-169.ps.gz         14-Oct-2010 14:10   99K  
 ECS-LFCS-91-180.ps.gz         14-Oct-2010 14:10  125K  
 ECS-LFCS-92-204_revised.ps.gz 14-Oct-2010 14:10  107K  
 ECS-LFCS-92-209.ps.gz         14-Oct-2010 14:10   74K  
 ECS-LFCS-92-218.ps.gz         14-Oct-2010 14:10   75K  
 ECS-LFCS-92-221.ps.gz         14-Oct-2010 14:10  178K  
 ECS-LFCS-92-222.ps.gz         14-Oct-2010 14:10  127K  
 ECS-LFCS-92-226.ps.gz         14-Oct-2010 14:10  114K  
 ECS-LFCS-92-228.ps.gz         14-Oct-2010 14:10   89K  
 ECS-LFCS-92-231.ps.gz         14-Oct-2010 14:10   73K  
 ECS-LFCS-92-232_revised.ps.gz 14-Oct-2010 14:10  159K  
 ECS-LFCS-93-270.ps.gz         14-Oct-2010 14:10   92K  
 ECS-LFCS-93-274.ps.gz         14-Oct-2010 14:10   57K  
 ECS-LFCS-93-278.ps.gz         14-Oct-2010 14:10  406K  
 ECS-LFCS-94-280.ps.gz         14-Oct-2010 14:10  131K  
 ECS-LFCS-94-293.ps.gz         14-Oct-2010 14:10   96K  
 ECS-LFCS-94-294.ps.gz         14-Oct-2010 14:10   60K  
 ECS-LFCS-94-299.ps.gz         14-Oct-2010 14:10  102K  
 ECS-LFCS-94-304.ps.gz         14-Oct-2010 14:10  349K  
 ECS-LFCS-94-308.dvi.gz        14-Oct-2010 14:10  246K  
 ECS-LFCS-94-310.ps.gz         14-Oct-2010 14:10   49K  
 ECS-LFCS-94-312.ps.gz         14-Oct-2010 14:10  410K  
 ECS-LFCS-95-318.ps.gz         14-Oct-2010 14:10  102K  
 ECS-LFCS-95-319.ps.gz         14-Oct-2010 14:10  105K  
 ECS-LFCS-95-320.ps.gz         14-Oct-2010 14:10   53K  
 ECS-LFCS-95-321.ps.gz         14-Oct-2010 14:10   54K  
 ECS-LFCS-95-324.ps.gz         14-Oct-2010 14:10   63K  
 ECS-LFCS-95-337.ps.gz         14-Oct-2010 14:10   57K  
 ECS-LFCS-95-338.ps.gz         14-Oct-2010 14:10   54K  
 ECS-LFCS-97-355.dvi.gz        14-Oct-2010 14:10   33K  
 ECS-LFCS-97-357.dvi.gz        14-Oct-2010 14:10   21K  
 ECS-LFCS-97-359.dvi.gz        14-Oct-2010 14:10   62K  
 ECS-LFCS-97-367.ps.gz         14-Oct-2010 14:10  110K  
 ECS-LFCS-97-371.dvi.gz        14-Oct-2010 14:10  341K  
 ECS-LFCS-97-372.dvi.gz        14-Oct-2010 14:10   63K  
 Liskov87.pdf                  14-Oct-2010 14:10   53K  
 SRC-010.ps.gz                 14-Oct-2010 14:10   98K  
 SRC-SRC-149.ps.gz             14-Oct-2010 14:10  753K  
 curso/                        14-Oct-2010 14:10    -   
 intro-notes.ps.gz             14-Oct-2010 14:10  133K  
 ml/                           14-Oct-2010 14:10    -   
 reftt.gz                      14-Oct-2010 14:10  2.5K  
 ttfp.ps.gz                    14-Oct-2010 14:10   46K