Incomputability Emergent, and Higher Type Computation

Cooper, SB (2015) Incomputability Emergent, and Higher Type Computation. In: Sommaruga, G and Strahm, T, (eds.) Turing’s Revolution. The Impact of His ideas about Computability. Birkhäuser , Basel, Switzerland , pp. 311-329. ISBN 978-3-319-22155-7

Abstract

Metadata

Authors/Creators:
  • Cooper, SB
Keywords: Emergence; Higher type computation; Incomputability; Turing definability
Dates:
  • Published: November 2015
  • Accepted: 17 September 2015
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 25 Sep 2015 10:47
Last Modified: 03 Nov 2016 05:21
Published Version: http://dx.doi.org/10.1007/978-3-319-22156-4_13
Status: Published
Publisher: Birkhäuser
Identification Number: https://doi.org/10.1007/978-3-319-22156-4_13

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics