Proofs and Types 豆 0.0分

资源最后更新于 2020-08-19 15:52:49

作者：Jean-Yves Girard

出版社：Cambridge University Press

出版日期：1989-01

ISBN：9780521371810

文件格式： pdf

标签： 计算机科学 PLT 逻辑 类型论 数学 pl 语言 計算機

简介· · · · · ·