Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.txt | 2004-09-28 02:06 | 528 | ||
abstract_syntax.lp | 2004-09-30 17:48 | 531 | ||
abstract_syntax.mod | 2004-09-30 17:48 | 317 | ||
abstract_syntax.sig | 2004-09-30 13:08 | 184 | ||
computation_call_by_name.lp | 2004-09-30 13:10 | 2.4K | ||
computation_call_by_name.mod | 2004-09-30 13:10 | 1.1K | ||
computation_call_by_name.sig | 2004-09-30 13:08 | 102 | ||
normal_form.lp | 2004-09-30 13:10 | 1.9K | ||
normal_form.mod | 2004-09-30 13:09 | 1.1K | ||
normal_form.sig | 2004-09-30 13:08 | 97 | ||
reductions.lp | 2004-09-30 14:30 | 2.4K | ||
reductions.mod | 2004-09-30 13:09 | 1.1K | ||
reductions.sig | 2004-09-30 13:08 | 88 | ||
rtc.lp | 2004-09-30 13:10 | 200 | ||
rtc.mod | 2004-09-30 13:09 | 115 | ||
rtc.sig | 2004-09-30 13:08 | 55 | ||
substitution.lp | 2004-09-30 13:10 | 1.3K | ||
substitution.mod | 2004-09-30 13:09 | 1.4K | ||
substitution.sig | 2004-09-30 13:08 | 203 | ||