All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:07, 27 January 2023 Benkoo2 talk contribs created page Paper/A theoretical basis for stepwise refinement and the programming calculus (Created page with "{{cite book |title=A theoretical basis for stepwise refinement and the programming calculus |first1=Joseph |last1=Morris |author-link=Joseph M. Morris |date=Morris |publisher=Elsevier |url=https://www.sciencedirect.com/science/article/pii/0167642387900116?via%3Dihub |location=local page }} <noinclude> This paper was referred to the audience in the video:Video/Bob Coecke, From Quantum Li...")