Massive Open Online Courses and Monoids - Farias, Hugo; Braga, Christiano; Menezes, Paulo B. (Formal Methods: Foundations and Applications, 2016)
Keywords: Formal Semantic; Massive Open Online Course; Monoidal Structure; Teaching Strategy