Basic Simple Type Theory（J. Roger Hindley）（Cambridge University Press 1997）
内容简介：
书名：Basic Simple Type Theory
出版社：Cambridge University Press
作者：J. Roger Hindley
出版年份：1997
电子书格式： pdf
简介：《Basic Simple Type Theory》是J. Roger Hindley于1997年在剑桥大学出版社出版的一本关于类型理论的经典著作。本书深入探讨了简单类型理论的基础，涵盖了逻辑、数学和计算机科学中的关键概念。无论是学生还是研究者，都能从中获得对类型系统的深刻理解。多考网提供免费下载，助力您的学术研究。
ISBN：9780521465182, 05214
出版社：Cambridge University Press
作者：J. Roger Hindley
出版年份：1997
电子书格式： pdf
简介：《Basic Simple Type Theory》是J. Roger Hindley于1997年在剑桥大学出版社出版的一本关于类型理论的经典著作。本书深入探讨了简单类型理论的基础，涵盖了逻辑、数学和计算机科学中的关键概念。无论是学生还是研究者，都能从中获得对类型系统的深刻理解。多考网提供免费下载，助力您的学术研究。
ISBN：9780521465182, 05214
下载地址：
猜你喜欢：
