Logical Relations and Inductive/coinductive Types (1998)
by
Thorsten Altenkirch
| Citations: | 18 - 4 self |
Document Versions
| Logical Relations and Inductive/coinductive Types –Thorsten Altenkirch — 1998 |
