Derivation and computation : taking the Curry-Howard correspondence seriously

Derivation and computation : taking the Curry-Howard correspondence seriously

Harold Simmons

Cambridge ; New York : Cambridge University Press, 2000

図書等

巻号情報

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

1

410.96-Si5

10005023602

一般図書

詳細情報

刊年

2000

形態

xxv, 384 p. : ill. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 51

注記

Includes bibliographical references (p. 375-376) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Simmons, Harold [ Simmons, H. ]

分類

LCC:QA9.54

DC21:511.3

件名

Proof theory

Lambda calculus

Type theory

ISBN

0521771730

NCID

BA46912341

番号

LCCN : 99044953