Paradigms of Computer Programming by Peter Van Roy - EdX videos(youtube.com)

https://www.youtube.com/watch?v=3ETVPlYvEHE&list=PLw454N-VXALSIzIe_eL5U8L4S68v2X_ak