Higher-Order Computability
Publisher: Springer
Published: 2016
Language: eng
Number of pages: 571
ISBN-13: 9783662479919
Subjects: Computable functions