Index of /~leavens/ComS541Fall99/lectures/lambda-calculus/lambda-in-lambda-prolog

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]README.txt2004-09-28 02:06 528  
[   ]abstract_syntax.lp2004-09-30 17:48 531  
[   ]abstract_syntax.mod2004-09-30 17:48 317  
[   ]abstract_syntax.sig2004-09-30 13:08 184  
[   ]computation_call_by_name.lp2004-09-30 13:10 2.4K 
[   ]computation_call_by_name.mod2004-09-30 13:10 1.1K 
[   ]computation_call_by_name.sig2004-09-30 13:08 102  
[   ]normal_form.lp2004-09-30 13:10 1.9K 
[   ]normal_form.mod2004-09-30 13:09 1.1K 
[   ]normal_form.sig2004-09-30 13:08 97  
[   ]reductions.lp2004-09-30 14:30 2.4K 
[   ]reductions.mod2004-09-30 13:09 1.1K 
[   ]reductions.sig2004-09-30 13:08 88  
[   ]rtc.lp2004-09-30 13:10 200  
[   ]rtc.mod2004-09-30 13:09 115  
[   ]rtc.sig2004-09-30 13:08 55  
[   ]substitution.lp2004-09-30 13:10 1.3K 
[   ]substitution.mod2004-09-30 13:09 1.4K 
[   ]substitution.sig2004-09-30 13:08 203  

Apache/2.4.41 (Ubuntu) Server at www.cs.ucf.edu Port 443