Computing with Functionals: Computability Theory or Computer Science?

We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.... Ausführliche Beschreibung

1. Person: Normann, Dag
Quelle: in Bulletin of symbolic logic Vol. 12, No. 1 (2006), p. 43-59
Weitere Artikel
Format: Online-Artikel
Sprache: English
Veröffentlicht: 2006
Beschreibung: Online-Ressource
Schlagworte: research-article
Online Zugang: Volltext
Volltext
Tags: Hinzufügen
Keine Tags. Fügen Sie den ersten Tag hinzu!
Anmerkung: Copyright: Copyright 2006 Association for Symbolic Logic

Online

Volltext
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!

Ähnliche Einträge

Keine ähnlichen Titel gefunden

Privacy Notice Ask a Librarian New Acquisitions