Post #4119645
2026-05-29 12:24 UTC
looks like the origin of parallel-or might be Plotkin 1977, "LCF Considered as a Programming Language" (https://homepages.inf.ed.ac.uk/gdp/publications/LCF.pdf). I should probably just read it (31 pages single column) but it looks a mite intimidating.
Replies (1)
-
@mevenlennonbertrand@lipn.info 2026-05-29 12:30
@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).