关注微信公众号查券更方便
米秀街是淘宝优惠券,天猫优惠券领取网站,全网淘宝优惠券直接领取,下单立即抵扣,价格超实惠。每天更新万款淘宝优惠券,天猫优惠券商品,让淘宝天猫购物更优惠!
【预售】Lambda-Calculus, Combinators and Functional
【预售】Combinators, ?-Terms and Proof Theory
预订 Categorical Combinators, Sequential Algorithms, and Functional Programming
【预订】Combinators: A Centennial View
英文原版 Lambda-Calculus and Combinators λ演算和组合子 J. Roger Hindley 精装 英文版 进口英语原版书籍
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
海外直订Lambda-Calculus and Combinators: An Introduction Lambda-Calculus和组合器:简介
【4周达】Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val... [9783540171843]
【4周达】Lambda-calculus, Combinators and Functional Programming: - Lambda-calculus, Combinators and ... [9780521114295]
【4周达】Combinators: A Centennial View [9781579550431]
【4周达】Lambda-Calculus and Combinators: An Introduction [9780521898850]
【4周达】Combinators, λ-Terms and Proof Theory [9789027703057]
【4周达】Categorical Combinators, Sequential Algorithms, and Functional Programming [9781461267041]
【4周达】Categorical Combinators, Sequential Algorithms, and Functional Programming [9780817636548]
【4周达】Combinators, λ-Terms and Proof Theory [9789401029155]