Skip to content(if available)orjump to list(if available)

Domain Theory Lecture Notes

Domain Theory Lecture Notes

3 comments

·May 25, 2025

discarded1023

Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.

dunham

The tool used for this site is Jon Sterling's "forester": https://sr.ht/~jonsterling/forester/

His motivation for building it is described here: https://www.forester-notes.org/tfmt-0001/index.xml

null

[deleted]