Computability and continuity in finite types
Computability and continuity in finite types
J. A. Bergstra
Details
OL Work ID
OL42147097W
Subjects
Recursive functions
Find this book
Open Library