Index of /~jlavalle/papers/lambda

Icon  Name                                      Last modified      Size  Description
[DIR] Parent Directory                                               -   
[   ] Beijing1.ps                               14-Oct-2010 14:10  2.6M  
[   ] Founds-FP.ps                              14-Oct-2010 14:10  355K  
[   ] HBKJ.ps                                   14-Oct-2010 14:10  952K  
[   ] aTutorialIntroductionToLambdaCalculus.pdf 07-Apr-2011 08:52  184K  
[   ] church-notes.pdf                          14-Oct-2010 14:10  197K  
[   ] church-notes.ps                           14-Oct-2010 14:10  456K  
[   ] curry-howard.ps                           14-Oct-2010 14:10  1.9M  
[   ] lambda.pdf                                07-Apr-2011 08:54  304K  
[   ] lambda.ps                                 14-Oct-2010 14:10  701K  
[   ] lcalc.ps                                  14-Oct-2010 14:10  558K
Apache/2.2.15 (Linux/SUSE) Server at aleteya.cs.buap.mx Port 80