Skip to main content

A final comment concerning the two types

  • 197 Accesses

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

This is a preview of subscription content, access via your institution.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions
Authors

Rights and permissions

Reprints and Permissions

Copyright information

© 1977 Springer-Verlag

About this chapter

Cite this chapter

Moldestad, J. (1977). A final comment concerning the two types. In: Computations in Higher Types. Lecture Notes in Mathematics, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0087836

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08132-6

  • Online ISBN: 978-3-540-37425-1

  • eBook Packages: Springer Book Archive