Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings

書誌事項

Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Jean-Yves Girard (ed.)

(Lecture notes in computer science, 1581)

Springer-Verlag, c1999

大学図書館所蔵 51件 / 51

すべての地域すべての図書館

この図書・雑誌をさがす

注記

Includes bibliographical references and index

"This volume represents the proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications, TLCA'99" -- Pref

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA40936278
  • ISBN
    • 3540657630
  • LCCN
    99014931
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin ; Tokyo
  • ページ数/冊数
    viii, 396 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ