Unifying Theories of Programming: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

8 December 2022

  • curprev 13:1613:16, 8 December 2022 imported>RDBrown 6,232 bytes +6,232 →cite book, journal, tweak cites | Alter: chapter-url, isbn. URLs might have been anonymized. Add: s2cid. Upgrade ISBN10 to 13. | Use this tool. Report bugs. | #UCB_Gadget
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Unifying_Theories_of_Programming"