Post #4119650

@rntz@recurse.social Tooting my own horn (although I barely contributed to its great material), but an elementary reference on the domain semantics of PCF is Cambridge's denotational semantics course: https://www.cl.cam.ac.uk/teaching/2526/DenotSem/. It only touches quickly upon por, but contains references to more advanced material. This was a very well-understood topic in the 90s, so you have quite a few good courses/textbooks on the topic (eg Gunter's).