%0 Book %1 books/sp/LongleyN15 %A Longley, John %A Normann, Dag %B Theory and Applications of Computability %D 2015 %I Springer %K dblp %P 3-546 %T Higher-Order Computability %@ 978-3-662-47992-6

@book{books/sp/LongleyN15, added-at = {2015-11-09T00:00:00.000+0100}, author = {Longley, John and Normann, Dag}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/209c9a734dfa6f4e532c3e754fee35472/dblp}, ee = {http://dx.doi.org/10.1007/978-3-662-47992-6}, interhash = {f38f0fc1f4e404024f7eae26df23531c}, intrahash = {09c9a734dfa6f4e532c3e754fee35472}, isbn = {978-3-662-47992-6}, keywords = {dblp}, pages = {3-546}, publisher = {Springer}, series = {Theory and Applications of Computability}, timestamp = {2016-02-02T10:47:53.000+0100}, title = {Higher-Order Computability}, year = 2015 }