The parametric lambda calculus : a metamodel for computation

The parametric lambda calculus : a metamodel for computation

Simona Ronchi Della Rocca, Luca Paolini

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

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

1

418.1-R66

10004006348

一般図書

2

418.1-R66

10004006350

一般図書

詳細情報

刊年

2004

形態

xiii, 252 p. : ill. ; 24 cm

シリーズ名

Texts in theoretical computer science ; An EATCS series

注記

Includes bibliographical references (p. [241]-246) and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Ronchi Della Rocca, Simona

Paolini, Luca

分類

LCC:QA9.5

DC22:511.3/5

ISBN

3540200320

NCID

BA68047906