![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | untyped-language.txt | 2000-01-26 16:42 | 2.2K | |
![]() | typed-quiz.txt | 2000-01-26 16:44 | 259 | |
![]() | the-simply-typed-calculus.txt | 2000-01-26 16:40 | 4.2K | |
![]() | substitution.txt | 1990-03-26 17:12 | 1.7K | |
![]() | simply-typed-model.scm | 1991-02-18 12:25 | 4.3K | |
![]() | set-function-models.txt | 2000-01-26 16:50 | 2.3K | |
![]() | reduction.txt | 1994-04-21 18:21 | 2.7K | |
![]() | quiz.txt | 1991-02-11 12:15 | 518 | |
![]() | introduction.txt | 1994-04-21 17:32 | 1.9K | |
![]() | equational-theory.txt | 1994-04-28 11:39 | 5.1K | |
![]() | Outline-files.txt | 2000-01-26 16:59 | 206 | |