![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| A_Framework_For_Defining_Logics.ps.gz | 04-Oct-2000 15:10 | 149K | |
| Lambda-Calculi-With-Types.ps.gz | 04-Oct-2000 16:06 | 292K | |
| cd.ps.gz | 04-Sep-2000 22:33 | 517K | |
| cr92.ps.gz | 08-Dec-2000 16:42 | 99K | |
| lec5.ps.gz | 29-Sep-2000 00:27 | 33K | |
| lecture-17.ps.gz | 02-Nov-2000 21:37 | 92K | |
| natded.ps.gz | 19-Oct-2000 17:32 | 68K | |
| seq.ps.gz | 26-Oct-2000 21:51 | 35K | |
| twelf.ps.gz | 05-Oct-2000 19:45 | 128K | |