Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=NORMAN, nDag
cover
Higher-Order Computability
Comment Share
LONGELY, JohnNORMAN, nDag

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic a…

Edition
-
ISBN/ISSN
978-3-662-47991-9
Collation
XVI, 571
Series Title
-
Call Number
004 lon H