![]() | 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 | - | |