![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README.txt | 2004-09-28 02:06 | 528 | |
| substitution.sig | 2004-09-30 13:08 | 203 | |
| rtc.sig | 2004-09-30 13:08 | 55 | |
| reductions.sig | 2004-09-30 13:08 | 88 | |
| normal_form.sig | 2004-09-30 13:08 | 97 | |
| computation_call_by_name.sig | 2004-09-30 13:08 | 102 | |
| abstract_syntax.sig | 2004-09-30 13:08 | 184 | |
| substitution.mod | 2004-09-30 13:09 | 1.4K | |
| rtc.mod | 2004-09-30 13:09 | 115 | |
| reductions.mod | 2004-09-30 13:09 | 1.1K | |
| normal_form.mod | 2004-09-30 13:09 | 1.1K | |
| computation_call_by_name.mod | 2004-09-30 13:10 | 1.1K | |
| computation_call_by_name.lp | 2004-09-30 13:10 | 2.4K | |
| normal_form.lp | 2004-09-30 13:10 | 1.9K | |
| rtc.lp | 2004-09-30 13:10 | 200 | |
| substitution.lp | 2004-09-30 13:10 | 1.3K | |
| reductions.lp | 2004-09-30 14:30 | 2.4K | |
| abstract_syntax.mod | 2004-09-30 17:48 | 317 | |
| abstract_syntax.lp | 2004-09-30 17:48 | 531 | |