Author: Dag Normann

Support

3 Ebooks by Dag Normann

Benedikt Löwe & Dag Normann: Models of Computation in Context
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, Ci E 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 1 …
PDF
English
DRM
€71.39
John Longley & Dag Normann: Higher-Order Computability
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 operatio …
PDF
English
€160.49