【预订】Lambda-Calculus, Combinators and Functional 美国库房发货，通常付款后3-5周到货！
¥640.00
Lambda-Calculus and Combinators λ演算和组合子 J. Roger Hindley 精装
¥889.00
【预订】Lambda-Calculus and Combinators: An Introduction 美国库房发货，通常付款后3-5周到货！
¥866.00
【预订】Lambda Calculus with Types 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】A Lambda Calculus Satellite 9781848904156 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848904156 Author 作者 Barendregt Henk Format 版本 平装-胶订 Pages Number 页数 602页 Publisher 出版社 College Publications Publication Date 出版日期 2022-10-05 Product Dimensions 商品尺寸 9.69 x 7.44 x 1.22 Shipping Weight 商品重量 2.34 Language 语种 其它（含多语）
¥492.00
【预订】A Lambda Calculus Satellite 9781848904248 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848904248 Author 作者 Barendregt Henk Format 版本 精装 Pages Number 页数 602页 Publisher 出版社 College Publications Publication Date 出版日期 2023-01-12 Product Dimensions 商品尺寸 10.00 x 8.00 x 1.31 Shipping Weight 商品重量 3.15磅 Language 语种 其它（含多语）
¥661.00
海外直订Lambda Calculus with Types 带类型的lambda微积分
¥1034
3-6周达 Lambda-Calculus and Combinators: An Introduction [ISBN 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥796.00
3-6周达 Lambda Calculus with Types [ISBN:9780521766142] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥955.00
3-6周达 Lambda-Calculus, Combinators and Functional Programmin 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥588.00
【预售 按需印刷】The Lambda Calculus. Its Syntax and Semantics
¥282.82
【预订】The Lambda Calculus. Its Syntax and Semantics 美国库房发货，通常付款后3-5周到货！
¥373.00
海外直订Lambda-Calculus and Combinators: An Introduction Lambda-
¥868.00
海外直订A Lambda Calculus Satellite Lambda微积分卫星
¥396.00
英文原版 Lambda-Calculus and Combinators λ演算和组合子 J. Roger Hindle
¥890.00
海外直订A Lambda Calculus Satellite Lambda微积分卫星
¥532.00
预订 The Lambda Calculus. Its Syntax and Semantics [ISBN:97818 【全球购】进口原版图书，一般5-8周左右到国内
¥402.00
海外直订From Lambda Calculus to Cybersecurity Through Program An
¥534.00
预订 From Lambda Calculus to Cybersecurity Through Program Ana 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订The Parametric Lambda Calculus: A Metamodel for Computat
¥553.00
预订 The Parametric Lambda Calculus: A Metamodel for Computati 【全球购】进口原版图书，一般5-8周左右到国内
¥640.00
3-6周达 The Parametric Lambda Calculus: A Metamodel for Comput 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥646.00
【预订】The Parametric Lambda Calculus 9783540200321 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540200321 Author 作者 Ronchi Della Rocca Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-07-05 Language 语种 英语 Book Contents 内容简介 The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
¥608.00
海外直订A Simple Lambda-calculus Model of Programming Languages
¥188.00
【预订】The Parametric Lambda Calculus 9783642057465 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642057465 Author 作者 Ronchi Della Rocca Format 版本 平装-胶订 Pages Number 页数 248页 Publication Date 出版日期 2010-12-04 Language 语种 英语 Book Contents 内容简介 The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
¥608.00
海外直订The Parametric Lambda Calculus: A Metamodel for Computat
¥553.00
海外直订Semantics of the Probabilistic Typed Lambda Calculus: Ma
¥1240
海外直订Head-Order Techniques and Other Pragmatics of Lambda Cal
¥364.00
海外直订Lecture Notes on the Lambda Calculus 关于lambda微积分的讲义
¥331.00
An Introduction to Functional Programming Through Lambda Cal
¥248.00
【预订】Semantics of the Probabilistic Typed Lambda Calculus: Ma 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662568729 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-04 Language 语种 英语
¥1460
预订 Head-Order Techniques and Other Pragmatics of Lambda Calc 【全球购】进口原版图书，约3-6周到达国内后发出
¥330.00
预订 Abstract Computing Machines: A Lambda Calculus Perspectiv 【全球购】进口原版图书，一般5-8周左右到国内
¥857.00
[预定]An Introduction to Functional Programming Through Lambda 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥153.70
【3-6周达】高被引Semantics of the Probabilistic Typed Lambda Calcul 【全球购】进口原版图书，预计3-6周左右到国内
¥1212
3-6周达 Semantics of the Probabilistic Typed Lambda Calculus: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1212
海外直订Semantics of the Probabilistic Typed Lambda Calculus: Ma
¥1240
英文原版 An Introduction to Functional Programming Through Lambd
¥248.00
预订 Abstract Computing Machines: A Lambda Calculus Perspectiv 【全球购】进口原版图书，一般5-8周左右到国内
¥1260
【上海外文】按需印刷Lecture Notes on the Lambda Calculus
¥183.00
预售 按需印刷Lecture Notes on the Lambda Calculus
¥183.00
Lambda-Calculus and Combinators
¥466.50
预订Lambda Calculus with Types 预订，预计下单后2-3周左右发货！
¥1259
预订Lambda-calculus, Combinators and Functional Programming 预订，预计下单后2-3周左右发货！
¥774.00
预订Lambda-Calculus and Combinators:An Introduction 预订，预计下单后2-3周左右发货！
¥1049
按需印刷The Lambda Calculus. Its Syntax and Semantics 预订，预计下单后2-3周左右发货！
¥332.00
海外直订A Simple Lambda-calculus Model of Programming Languages
¥181.00
预售 英文预定 An Introduction to Functional Programming Through La 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥214.41
