Browsing Journal Articles by Author "Given-Wilson, Thomas"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Journal Articles by Author "Given-Wilson, Thomas"

Sort by: Order: Results:

  • Jay, Barry; Given-Wilson, Thomas (Assn Symbolic Logic Inc, 2011)
    Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, ...