Robuta

https://moves.rwth-aachen.de/teaching/ss-16/tfopl/ Theoretical Foundations of Programming Languages | Informatik 2 foundations of programming theoretical languages informatik https://www.cs.cmu.edu/~fp/courses/15312-f02/lectures/12-abstraction.html 15-312 Foundations of Programming Languages / Lecture 12 Foundations of Programming Languages; Lecture 12 foundations of programming languages lecture https://conferences.au.dk/mfps-2016 Mathematical Foundations of Programming Semantics XXXII foundations of programming mathematical semantics xxxii https://www.cs.cmu.edu/~fp/courses/15312-f02/lectures/22-equiv.html 15-312 Foundations of Programming Languages / Lecture 22 Foundations of Programming Languages; Lecture 22 foundations of programming languages lecture https://publica.fraunhofer.de/entities/mainwork/549e6966-21eb-4f37-951a-2b492486ece8 Mathematical foundations of programming semantics foundations of programming mathematical semantics