Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.txt | 2000-02-01 13:44 | 826 | ||
abstract_syntax.mod | 1999-12-01 15:40 | 435 | ||
computation_call_by_name.mod | 1999-12-01 15:36 | 1.3K | ||
normal_form.mod | 1999-12-01 15:35 | 1.2K | ||
reductions.mod | 2000-01-26 17:05 | 1.2K | ||
rtc.mod | 2004-09-30 13:09 | 115 | ||
substitution.mod | 1999-12-01 15:35 | 1.5K | ||