![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| howto.pdf | 2025-09-03 21:47 | 649K | |
| tait.pdf | 2025-09-03 21:47 | 767K | |
| semeq.pdf | 2025-09-03 21:47 | 728K | |
| kripke.pdf | 2025-09-03 21:47 | 735K | |
| defeq.pdf | 2025-09-03 21:47 | 710K | |
| tir.pdf | 2025-09-03 21:47 | 689K | |
| relact.pdf | 2025-09-03 21:47 | 723K | |
| variabletypes.pdf | 2025-09-03 21:47 | 723K | |
| girard.pdf | 2025-09-03 21:47 | 735K | |
| reynolds.pdf | 2025-09-03 21:47 | 720K | |
| cont.pdf | 2025-09-03 21:47 | 755K | |
| cost.pdf | 2025-09-03 21:47 | 726K | |
| tait-structures.pdf | 2025-09-03 21:48 | 753K | |
| cbpv.pdf | 2025-09-03 21:48 | 712K | |
| effects.pdf | 2025-09-03 21:48 | 815K | |
| dependency.pdf | 2025-09-03 21:48 | 755K | |
| tarski.pdf | 2025-09-11 20:53 | 697K | |