Finitary PCF is not decidable (1996)

Cached

Download Links

by Ralph Loader
Venue:Theoretical Computer Science
Citations:25 - 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