Computations in higher types View on Open Library

Computations in higher types

by Johan Moldestad

No reviews yet
First published: 1977 1 language ISBN: 9783540081326
Subjects
Recursive functions Fonctions recursives Rekursive Funktion Mathematics Mathematics, general

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Recursive functions
Computability and logic

Computability and logic

George Boolos
Recursive macroeconomic theory

Recursive macroeconomic theory

Lars Ljungqvist
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Aufzählbarkeit, Entscheidbarkeit, Berech...

Hans Hermes
Rekursive Funktionen

Rekursive Funktionen

Rózsa Péter
Enumerability, Decidability, Computability

Enumerability, Decidability, Computabili...

Hans Hermes
Recursive Identification and Parameter Estimation

Recursive Identification and Parameter E...

Han-Fu Chen