Ebooks de Dag Normann en PDF

1 Livre(s)
Télécharger le livre : Higher-Order Computability
Ajouter à ma liste d'envies
Higher-Order Computability
John Longley , Dag Normann
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,...

Editeur : Springer
Parution : 2015-11-06

PDF

158,24 €