<p>I've recently found a very nice survey paper called "Notions of Computability at Higher Type" by John R. Longley.</p>

<p>The paper says it is part of a 3-part series, with the 3rd concerning non-extensional notions of computability, corresponding to computability in languages with effects.</p>

<p>This part might be relevant to my own research so I'm very interested in finding it.
However, I can't find a version of part III anywhere. Was it ever completed? If not is there another good resource on the subject you would recommend?</p>

CC BY-SA 3.0
2016-09-13T13:50:34.787Z
Why not ask J. Longley:  jrl@inf.ed.ac.uk. He's also got a book out on the subject [Higher-Order Computability](https://www.springer.com/gp/book/9783662479919).
Martin Berger
CC BY-SA 3.0
2016-09-14T06:44:40.313Z
Yeah, instead of writing part III he wrote a book with Dag Normann.
Andrej Bauer
<reference-request><computability><pl.programming-languages>
Notions of Computability at Higher Type III
Max New
# Notions of Computability at Higher Type III

(Asked by: username_0 on 2016-09-13)

I've recently found a very nice survey paper called "Notions of Computability at Higher Type" by John R. Longley.

The paper says it is part of a 3-part series, with the 3rd concerning non-extensional notions of computability, corresponding to computability in languages with effects.

This part might be relevant to my own research so I'm very interested in finding it.
However, I can't find a version of part III anywhere. Was it ever completed? If not is there another good resource on the subject you would recommend?

**Tags:** reference-request, computability, pl.programming-languages
> **Comments:**
> **username_1**: Why not ask J. Longley:  jrl@inf.ed.ac.uk. He's also got a book out on the subject [Higher-Order Computability](https://www.springer.com/gp/book/9783662479919).  
> **username_2**: Yeah, instead of writing part III he wrote a book with Dag Normann.  

---

## 0 answers

