Besides these lecture notes http://www2.masfak.ni.ac.rs/cmfp2013/Nis%20lecture%20170113.pdf http://www2.masfak.ni.ac.rs/cmfp2013/Nis%20lecture%20170113.... I ha

Besides these lecture notes http://www2.masfak.ni.ac.rs/cmfp2013/Nis%20lecture%20170113.pdf http://www2.masfak.ni.ac.rs/cmfp2013/Nis%20lecture%20170113.... I haven't found a curriculum. This is one of the goals of Robert Harper et. all involved in type theory research https://existentialtype.wordpress.com/2018/01/15/popl-2018-tutorial/ https://existentialtype.wordpress.com/2018/01/15/popl-2018-t... There is a guy however with a rational foundations of Math curriculum, doing algebraic calculus and rational Trig that I find easy to work with (ie: building a library) https://www.youtube.com/user/njwildberger/playlists https://www.youtube.com/user/njwildberger/playlists