Autore: Dag Normann

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 …

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 …

…