このページのリンク

Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-YvesGirard (ed.)
(Lecture notes in computer science ; 1581)

データ種別 図書
出版情報 Berlin ; Tokyo : Springer-Verlag , c1999
本文言語 英語
大きさ viii, 396 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:9.5:I58:1999
3540657630 002811350

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *International Conference on Typed Lambda Calculi and Applications (4th : 1999 : L'Aquila, Italy)
Girard, Jean-Yves
件 名 LCSH:Lambda calculus -- Congresses  全ての件名で検索
分 類 LCC:QA9.5
巻冊次 ISBN:3540657630 REFWLINK
ISBN 3540657630
目次/あらすじ

 類似資料