Computations in Higher Types (English, J. Moldestad)
Sciences, Technology & Medicine

Computations in Higher Types (English, J. Moldestad)

3,244

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540081326
ISBN-103540081321

Product Description

About the Book

Abstract.- The computation domain.- Recursion on ?.- Connection with Kleene recursion in higher types.- Recursion in normal lists on ?.- Kleene recursion in normal objects of type n+2, n>0.- Computation theories on ?.- Abstract Kleene theories.- Normal computation theories on ?.- More about Mahloness.- Calculation of the lengths of some computations.- Gaps.- On platek: Foundations of recursion theory.- A final comment concerning the two types.

ISBN: 9783540081326

Frequently Asked Questions

What is the price of Computations in Higher Types?
Computations in Higher Types is available at ₹3,244 on BookShops.in.
Does BookShops.in offer free delivery for Computations in Higher Types?
FREE delivery on all orders for Computations in Higher Types.
Is Cash on Delivery available for Computations in Higher Types?
Yes, Cash on Delivery (COD) is available for Computations in Higher Types on BookShops.in. Pay when your order arrives.
What is the return policy for Computations in Higher Types?
BookShops.in offers a 15-day hassle-free return policy for Computations in Higher Types. Contact us at support@bookshops.in or call +91 81899 68108.
Is Computations in Higher Types authentic?
Computations in Higher Types is listed on BookShops.in after verification of product details including ISBN, title, and availability information.