[HN Gopher] Domain Theory Lecture Notes
       ___________________________________________________________________
        
       Domain Theory Lecture Notes
        
       Author : todsacerdoti
       Score  : 57 points
       Date   : 2025-05-25 00:07 UTC (22 hours ago)
        
 (HTM) web link (liamoc.net)
 (TXT) w3m dump (liamoc.net)
        
       | dunham wrote:
       | 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
        
       | discarded1023 wrote:
       | 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.
        
         | Footpost wrote:
         | Domain theory has reduced to a trickle, with almost no new
         | results since the late 1990s. Most domain theorist have
         | retired, or moved on to other things. Aside, Andy Pitts has
         | been made a fellow of the Royal Society a few days ago!
        
       | ferguswhite wrote:
       | I saw the title and thought "I remember Liam O'Connor giving a
       | lecture series on this for TypeSIG" - PL really is tiny...
        
       ___________________________________________________________________
       (page generated 2025-05-25 23:02 UTC)