Title: Computations in higher types
First published: 1977
Subjects: Recursive functions, Fonctions recursives, Rekursive Funktion, Mathematics, Mathematics, general