Index of /~leavens/ComS541-Watt-Semantics/old-homework/Spring95/lambda-in-lambda-prolog

• Parent Directory
• README.txt
• abstract_syntax.lp
• abstract_syntax.mod
• abstract_syntax.sig
• computation_call_by_name.lp
• computation_call_by_name.mod
• computation_call_by_name.sig
• normal_form.lp
• normal_form.mod
• normal_form.sig
• reductions.lp
• reductions.mod
• reductions.sig
• rtc.lp
• rtc.mod
• rtc.sig
• substitution.lp
• substitution.mod
• substitution.sig