A very mind-blowing and challenging book about Types.
The strange loop talk and my own interview of the authors might give some sense of what it's all about. There is also some interesting work online showing how the language used in the book can be created.
https://www.youtube.com/watch?v=VxINoKFm-S4