Relational Properties of Recursively Defined Domains (1993)
by
Andrew M. Pitts
| Venue: | In 8th Annual Symposium on Logic in Computer Science |
| Citations: | 15 - 2 self |
Document Versions
| Relational Properties of Recursively Defined Domains –Andrew M. Pitts — 1993 — In 8th Annual Symposium on Logic in Computer Science |
