Post ASyxW9Dc8JH9MXR6e0 by quinn@octodon.social
 (DIR) More posts by quinn@octodon.social
 (DIR) Post #ASyxW7QIoAEjnJMD8y by quinn@octodon.social
       2023-02-23T20:21:01Z
       
       0 likes, 0 repeats
       
       Kind of a long shot, but does anyone know where I could track down a copy of Plotkin's "Lattice Theoretic Properties of Subsumption", from 1970?All my regular sources (scihub, libgen, archive.org, etc) aren't turning anything up, and it seems like it was just a short 14 page memo he published at Edinburgh, possibly under the name: "MIP-R-77"It's not super important or anything, and I'm mostly just curious from a historical perspective.
       
 (DIR) Post #ASyxW8BnxYEaAda9BY by kaia@brotka.st
       2023-02-23T20:31:08.326140Z
       
       0 likes, 0 repeats
       
       CC: summoning a @schappi :sheepblobadorable:
       
 (DIR) Post #ASyxW9Dc8JH9MXR6e0 by quinn@octodon.social
       2023-02-23T20:28:44Z
       
       0 likes, 0 repeats
       
       I mostly just get kind of squeamish when I see a paper that everyone cites, but where I have no evidence of that paper actually existing or of anyone actually having read it.