Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers 电子书下载
书名:Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES`99, organized by the ESPRIT Working Group 21900, in L?keberg, Sweden, in June 1999.The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《故事经济学》罗伯特·麦基 等全译经典版 电子书下载
- 《认同自己:如何超越与生俱来的弱点》斯蒂芬妮・斯塔尔文字版 电子书下载
- 《中国通史》钱穆 影响千万人的通史经典文字版 电子书下载
- 《中国货币史》彭信威 电子书下载
- 《爱的博弈 : 建立信任、避免背叛与不忠》约翰·戈特曼 (John Gottman) / 娜恩·西尔弗 (Nan Silver) 电子书下载
- 《像开创者一样思考:伟大思想者和创新者的76堂商业课》保罗·斯隆全新版 电子书下载
- 《圣殿春秋》[英] 肯·福莱特 电子书下载
- 《后机器时代:生活,再定义》胡泳/王俊秀修订版 电子书下载
- 《0-3岁小婴孩必备全书:经典童话本》(套装10本)夏尔·贝洛 电子书下载
- 《女神的语言:西方文明早期象征符号解读》马丽加·金芭塔丝 电子书下载
- 《好好吃饭:无须自控力,三观最正的瘦身指南》布莱恩·万辛克文字版 电子书下载
- 《用Python写网络爬虫》Katharine Jarmul第2版文字版 电子书下载