Radio and PodcastRadio and PodcastLive Radio & Podcasts
Towards an arithmetic for partial computable functionals artwork
Education

Towards an arithmetic for partial computable functionals

Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 01/02 by Ludwig-Maximilians-Universität München

Aug 12, 20130Education

The thesis concerns itself with nonflat Scott information systems as an appropriate denotational semantics for the proposed theory TCF+, a constructive theory of higher-type partial computable functionals and approximati...