![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.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 | - | ||
| why-theory.txt | 1992-04-08 13:03 | 2.7K | |
| untyped-language.txt | 1994-04-21 17:58 | 866 | |
| typed-quiz.txt | 2005-10-04 17:07 | 714 | |
| the-simply-typed-calculus.txt | 2005-10-19 17:02 | 6.2K | |
| substitution.txt | 2022-10-19 11:27 | 1.9K | |
| simply-typed-model.scm | 1991-02-18 12:25 | 4.3K | |
| reduction.txt | 1994-04-21 18:21 | 2.7K | |
| quiz.txt | 1991-02-11 12:15 | 518 | |
| lambda-in-lambda-prolog/ | 2004-10-15 11:09 | - | |
| lambda-in-lambda-prolog-terzo/ | 2007-08-10 15:50 | - | |
| lambda-in-haskell/ | 2007-08-10 15:49 | - | |
| introduction.txt | 2003-09-11 16:11 | 1.9K | |
| equational-theory.txt | 2005-10-19 16:56 | 5.3K | |
| denotational-calculations.txt | 2004-09-24 16:29 | 4.1K | |
| Outline-files.txt | 1993-03-29 23:46 | 269 | |