[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear types-enthusiasts, a group of bright Master students of mine produced a series of 13 screencasts covering the “Lambda Cube Unboxed” and made it accessible on Youtube at https://www.youtube.com/playlist?list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4. It is largely based on parts of the wonderful book https://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/type-theory-and-formal-proof-introduction by Rob Nederpelt and Herman Geuvers. Maybe, you find it useful for you and your students. In any case, we would be happy to get your feedback. Best regards, Uwe Nestmann