Lambda calculus with types

Lambda calculus with types

Henk Barendregt, Wil Dekkers, Richard Statman

New York : Association for Symbolic Logic

Cambridge : Cambridge University Press, 2013

図書等

巻号情報

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

1

410.9-B21

10013007372

一般図書

詳細情報

刊年

2013

形態

xxii, 833 p. ; 26 cm

シリーズ名

Perspectives in logic

注記

Includes bibliographical references (p. 791-813) and index

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Barendregt, H. P. (Hendrik Pieter), 1947- [ Barendregt, Henk ] [ Barendregt, Hendrik Pieter ] [ Barendregt, Henk P ]

Dekkers, Wil

Statman, Richard

ISBN

9780521766142

NCID

BB12819706