主要观点：介绍马丁 - 洛夫类型论的编程相关内容，由 Bengt Nordström、Kent Petersson 和 Jan M. Smith 撰写，出版于 1990 年，现已绝版，此版本可获取。
关键信息：作者来自哥德堡大学/查尔姆斯理工大学计算机科学系，出版方为牛津大学出版社，1990 年出版，目前已无印刷版。
重要细节：未提及具体的编程相关内容细节，仅说明了书籍的基本信息，如作者、出版信息等。