Finitary PCF is not decidable (1996)
Cached
Download Links
- [homepages.ihug.co.nz]
- [www.dcs.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Ralph Loader
| Venue: | Theoretical Computer Science |
| Citations: | 22 - 0 self |
Document Versions
| Finitary PCF is not decidable –Ralph Loader — 1996 — Theoretical Computer Science |
| Finitary PCF is not decidable –Ralph Loader — 2001 — Theoretical Computer Science |
