Marin-Lof类型论程序设计导引

作者: Bengt Nordstrom
出版社: 南京大学出版社
译者: 宋方敏
出版年: 2002-9
页数: 195
定价: 24.0
装帧: 平装
ISBN: 9787305038327

在哪儿借这本书  · · · · · ·

这本书的其他版本  · · · · · ·  ( 全部2 )

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

Tyrus
Tyrus
2016年9月10日 想读


Do
Do
2016年4月20日 想读

tags:PLT 类型系统

prettykernel
prettykernel
2015年12月20日 想读

tags:类型系统

Y君
Y君
2014年3月11日 想读


> 1人读过

> 9人想读

二手市场

订阅关于Marin-Lof类型论程序设计导引的评论:
feed: rss 2.0