关注微信公众号查券更方便
【预售】Combinators, ?-Terms and Proof Theory
预订Lambda-Calculus and Combinators:An Introduction
【预售】Lambda-Calculus, Combinators and Functional
预订 Categorical Combinators, Sequential Algorithms, and Functional Programming
【预订】Combinators: A Centennial View
预订Combinators:A Centennial View
预订Lambda-calculus, Combinators and Functional Programming
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
海外直订Lambda-Calculus and Combinators: An Introduction Lambda-Calculus和组合器:简介
英文原版 Lambda-Calculus and Combinators λ演算和组合子 J. Roger Hindley 精装 英文版 进口英语原版书籍
LambdaCalculus And Combinators 英文原版
Lambda-Calculus and Combinators λ演算和组合子 J. Roger Hindley 精装
【4周达】Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val... [9783540171843]
预订 Lambda-calculus, Combinators and Functional Programming: - Lambda-calculus, Combinators and Func... [9780521114295]
【4周达】Combinators: A Centennial View [9781579550431]
预订 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]