Finitary PCF is not decidable (1996)

Cached

Download Links

by Ralph Loader
Venue:Theoretical Computer Science
Citations:25 - 0 self