Write-ups that were both peer-reviewed and are more structured than notes.
Jan Malakhovski. On the Expressive Power of Indexed Applicative and Monadic Structures. PhD Thesis. October 2019. Which also includes the contents of
Sergei Soloviev, Jan Malakhovski. Automorphisms of Types and Their Applications. Journal of Mathematical Sciences Volume 240, Issue 5, August 2019, Pages 692-706. Which is a version of