海量图书期刊资源,随时随地畅享阅读乐趣
[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