![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 93-lectures.ps | 1995-09-10 23:29 | 33K | |
| 93-lectures.tex | 1995-09-10 23:27 | 5.2K | |
| 95-lectures.aux | 1995-10-27 14:28 | 413 | |
| 95-lectures.log | 1995-10-27 14:28 | 5.7K | |
| 95-lectures.ps | 1995-10-25 22:57 | 19K | |
| 95-lectures.tex | 1995-10-27 14:27 | 2.4K | |
| church-numerals-and-Y.scm | 1995-09-27 17:04 | 4.0K | |
| course-info.ps | 1995-09-10 23:03 | 33K | |
| course-info.tex | 1995-09-06 12:32 | 5.2K | |
| diagnostic-quiz-soln.ps | 1995-09-13 11:40 | 42K | |
| diagnostic-quiz-soln.tex | 1995-09-13 10:54 | 8.9K | |
| diagnostic-quiz.ps | 1995-09-10 23:04 | 30K | |
| diagnostic-quiz.tex | 1995-09-06 10:50 | 3.6K | |
| final.ps | 1995-12-22 18:36 | 37K | |
| final.tex | 1995-12-22 18:36 | 6.1K | |
| forum.babyl | 1996-01-24 15:26 | 58K | |
| inputs/ | 1996-09-03 15:26 | - | |
| notes-by-Jay-many-one-reduce | 1995-12-21 12:33 | 8.0K | |
| notes-by-Rob-string-equations | 1995-12-21 12:37 | 5.4K | |
| notes-by-Yong-Turing-machines | 1995-12-21 12:35 | 4.7K | |
| ps1-soln.ps | 1995-09-29 11:08 | 19K | |
| ps1-soln.tex | 1996-09-17 20:46 | 1.6K | |
| ps1.ps | 1995-09-17 14:44 | 19K | |
| ps1.tex | 1995-09-17 12:19 | 1.5K | |
| ps2.ps | 1995-09-29 17:36 | 29K | |
| ps2.tex | 1995-09-29 17:35 | 3.3K | |
| ps3.ps | 1995-10-12 13:43 | 30K | |
| ps3.tex | 1995-10-12 13:37 | 3.1K | |
| ps4.ps | 1995-10-23 14:36 | 29K | |
| ps4.tex | 1995-10-23 14:33 | 4.0K | |
| q1.ps | 1995-10-30 10:35 | 25K | |
| q1.tex | 1995-10-30 10:34 | 2.3K | |
| rewriting-model-1.ps | 1995-09-19 12:46 | 144K | |
| rewriting-model-1.tex | 1995-09-19 12:19 | 51K | |
| rewriting-scheme-code/ | 1996-10-21 22:09 | - | |