中国移动互联网发展报告 2012
- 作者官建文主编；唐胜宏副主编
- 出版社北京：社会科学文献出版社
- 标注页数371 页
- 文件页数395 页
- 文件大小43.25 MB
- 出版时间2012
- ISBN9787509733653
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 ||Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant ParametricityLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || 1ML with Special EffectsLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Dragging Proofs Out of PicturesLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Dependent Object TypesLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Lambda Calculus: Practice and PrincipleLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ lambda mu $$ is $$ textsc {CP} $$ (more or less)Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016