Computations in Higher Types

  • Authors
  • Johan Moldestad

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

Table of contents

  1. Front Matter
  2. Johan Moldestad
    Pages 1-13
  3. Johan Moldestad
    Pages 14-16
  4. Johan Moldestad
    Pages 17-25
  5. Johan Moldestad
    Pages 34-49
  6. Johan Moldestad
    Pages 54-59
  7. Johan Moldestad
    Pages 60-63
  8. Johan Moldestad
    Pages 64-98
  9. Johan Moldestad
    Pages 99-108
  10. Johan Moldestad
    Pages 109-119
  11. Johan Moldestad
    Pages 120-149
  12. Johan Moldestad
    Pages 150-192
  13. Johan Moldestad
    Pages 193-194
  14. Back Matter

About this book

Keywords

Calc Calculation Rekursive Funktion computability theory computation object recursion types

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0087822
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08132-6
  • Online ISBN 978-3-540-37425-1
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book