![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Outline-files.txt | 1994-11-25 14:02 | 124 | |
![]() | fixpoints.txt | 1994-12-05 14:54 | 5.1K | |
![]() | induction-rules.txt | 1994-11-25 14:29 | 1.5K | |
![]() | lattices.txt | 1994-12-05 14:48 | 5.0K | |
![]() | recursion.txt | 1994-11-23 17:23 | 5.4K | |
![]() | semantic-hom.txt | 1994-11-25 14:12 | 806 | |
![]() | syntactic-algebra.txt | 1994-11-23 17:50 | 1.7K | |
![]() | syntax.txt | 1994-12-07 14:10 | 1.9K | |