Nominal Sets

Names and Symmetry in Computer Science

Cambridge Tracts in Theoretical Computer Science

Pitts, Andrew M.

出版社：Cambridge University Press 出版年月：2013年 05月
装丁：HRD 言語：ENG

税込価格：

16,706円

海外在庫あり 通常２～５週間で出荷

Semantics and Logics of Computation

Publications of the Newton Institute

Pitts, Andrew M. (EDT) Dybjer, P. (EDT)

出版社：Cambridge University Press 出版年月：2009年 08月
装丁：PAP 言語：ENG

税込価格：

12,894円

海外在庫あり 通常２～５週間で出荷