[Lecture Notes in Computer Science] Discrete and Computational Geometry Volume 1763 || Crossing Numbers
- 作者Akiyama, Jin; Kano, Mikio; Urabe, Masatsugu
- 文件大小169.84KB
- 发表时间2000
- DOI10.1007/978-3-540-46515-7_23
- 页码267-273
[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