Simon Thompson 写的关于类型理论,函数语言编程方面的书籍。