Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1977

Computations in Higher Types

Authors:

  1. Johan Moldestad
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 574)

Sections

Buy it now

eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 chapters)

  1. Front Matter

    PDF

  2. Abstract

    • Johan Moldestad
    Pages 1-13

  3. The computation domain

    • Johan Moldestad
    Pages 14-16

  4. Recursion on α

    • Johan Moldestad
    Pages 17-25

  6. Recursion in normal lists on α

    • Johan Moldestad
    Pages 34-49

  8. Computation theories on α

    • Johan Moldestad
    Pages 54-59

  9. Abstract Kleene theories

    • Johan Moldestad
    Pages 60-63

  10. Normal computation theories on α

    • Johan Moldestad
    Pages 64-98

  11. More about Mahloness

    • Johan Moldestad
    Pages 99-108

  12. Calculation of the lengths of some computations

    • Johan Moldestad
    Pages 109-119

  13. Gaps

    • Johan Moldestad
    Pages 120-149

  14. On platek: “Foundations of recursion theory”

    • Johan Moldestad
    Pages 150-192

  15. A final comment concerning the two types

    • Johan Moldestad
    Pages 193-194

  16. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Computations in Higher Types

  • Authors: Johan Moldestad

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0087822

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08132-6Published: 01 March 1977

  • eBook ISBN: 978-3-540-37425-1Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 208

  • Topics: Mathematics, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation