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).

• 15:06, 13 January 2023 Benkoo2 talk contribs created page Dana Scott's Stochastic Lambda-Calculus Lecture Transcribed by Assembly AI (Created page with "=Transcript Starts= SPEAKER A I'd like to say a couple of things, if I may. I mean, he's received innumerable awards and distinctions, the touring award, the role shock cries and many other things. But over and above that, if we think of the whole field of logic in computer science, it's pretty hard to imagine it as the thriving field of research that it is today, without Dana's seminal and fundamental contribution, in particular to the logic and semantics area in his w...")