Higher-Order Computability - John Longley Dag Normann Gebunden
Springer
Description
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 operations... Weiterlesen
GTIN
9783662479919
Angeboten durch
Weltbild AT
Produkt speichern
Produkt gespeichert
Produkt vergleichen
Preisgeschichte
Verwandte Produkte
Bitte wählen Sie mindestens 2 Produkte zum Vergleich aus
Vergleich anzeigen