Abstract
In the preceding chapters, broadly speaking, we have been working our way gradually from ‘weaker’ to ‘stronger’ notions of computability (see the diagram on page 33). This has culminated in Chapters 10 and 11 with the study of the two type structures PC and SR that represent maximal notions of computable functional subject to certain constraints (Theorems 10.5.7 and 11.3.3).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Longley, J., Normann, D. (2015). Some Intensional Models. In: Higher-Order Computability. Theory and Applications of Computability. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47992-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-47992-6_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47991-9
Online ISBN: 978-3-662-47992-6
eBook Packages: Computer ScienceComputer Science (R0)