i see Tony Hoare is referenced, but no mention of Bill Roscoe and his bottom https://www.cs.ox.ac.uk/people/bill.roscoe/publications/1.pdf https://www.cs.ox.ac

i see Tony Hoare is referenced, but no mention of Bill Roscoe and his bottom https://www.cs.ox.ac.uk/people/bill.roscoe/publications/1.pdf https://www.cs.ox.ac.uk/people/bill.roscoe/publications/1.pd...