Nominal sets : names and symmetry in computer science, : hardback

Nominal sets : names and symmetry in computer science, : hardback

Andrew M. Pitts

Cambridge : Cambridge University Press, 2013

図書等

巻号情報

: hardback
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.64-P69

10013005540

一般図書

詳細情報

刊年

2013

形態

xiii, 276 p. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 57

注記

Includes bibliographical references (p. 257-267) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Pitts, A. M [ Pitts, Andrew ]

分類

DC23:005.13

件名

Programming languages (Electronic computers) -- Semantics

Programming languages (Electronic computers) -- Syntax

ISBN

9781107017788 (: hardback)

NCID

BB12776862

番号

NBN : 016284470

NBN : GBB317587