Index of /~jlavalle/papers/barendregt

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 HBKJ.ps.Z                  14-Oct-2010 14:10  362K  
 ICL1.ps.Z                  14-Oct-2010 14:10  138K  
 ICL2JSL.ps.Z               14-Oct-2010 14:10  383K  
 ICL2archmathlog.ps.Z       14-Oct-2010 14:10  339K  
 apal.ps.Z                  14-Oct-2010 14:10   82K  
 baay.ps.Z                  14-Oct-2010 14:10   95K  
 barendregt_geuvers.ps.Z    14-Oct-2010 14:10  478K  
 bg3.ps.Z                   14-Oct-2010 14:10  148K  
 church.ps.Z                14-Oct-2010 14:10  160K  
 computable_processes.ps.Z  14-Oct-2010 14:10  444K  
 computations.ps.Z          14-Oct-2010 14:10  109K  
 kr.ps.Z                    14-Oct-2010 14:10   92K  
 lambdaCalculiWithTypes.pdf 09-Jun-2009 10:21  915K  
 lambdaCalculiWithTypes.ps  23-Mar-2011 09:51  952K  
 marktoberdorf.ps.Z         14-Oct-2010 14:10   86K  
 quest.ps.Z                 14-Oct-2010 14:10  391K  
 stat-bar.ps.Z              14-Oct-2010 14:10   91K  
 two-level.pdf              14-Oct-2010 14:10  216K