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...

About This Episode

Towards an arithmetic for partial computable functionals is an episode from Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 01/02 by Ludwig-Maximilians-Universität München. The thesis concerns...

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Aug 12, 2013, 0 long, audio available.