Higher-Order Computability

Boken 'Higher-Order Computability' presenterer en grundig fremstilling av teorien om beregnbarhet i en høyere ordens sammenheng, der 'beregnbare operasjoner' kan benyttes som argumenter for andre beregnbare operasjoner. Dette feltet oppsto på 1950-tallet takket være arbeidet til K. Kleene, G. Kreisel og andre, og har siden utviklet seg i mange retninger, påvirket av forskere fra både matematisk logikk og datateknologi. Konseptene innen høyere ordens beregnbarhet har vist seg å være verdifulle for å klargjøre det konstruktive innholdet i logiske systemer, samt for å undersøke den uttrykksfulle kraften i ulike programmeringsspråk på høyere nivåer. I motsetning til den kjente situasjonen for førstepartsfunksjoner, viser det seg at det på høyere typer finnes flere forskjellige begreper om beregnbarhet som konkurrerer om vår oppmerksomhet. Hver av disse begrepene har ført til sin egen forskningsgren. I denne boken gir forfatterne en integrert fremstilling som samler mange av disse forskningslinjene under et felles tak.