Notions of computability at higher types I (2005)

Cached

Download Links

by John Longley
Venue:In Logic Colloquium 2000
Citations:12 - 5 self

Document Versions

Notions of computability at higher types I –John Longley — 2005 — In Logic Colloquium 2000