Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands.

• 資料種別: 図書
• ISBN: 9783642389450 (pbk. : alk. paper); 9783642389467 (e-ISBN)
• ISSN: 16113349 (e-ISSN)
• ISSN（シリーズ）: 03029743
• タイトル: Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands.
• シリーズタイトル: Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science
• タイトル標目: LNCS sublibrary. SL 1, Theoretical computer science and general issues.
• 著者標目: International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, the Netherlands); Hasegawa, Masahito, 1970-
• 出版事項: Berlin : Springer; New York : Springer
• 出版年月日等: c2013.
• 出版年（W3CDTF）: 2013
• 数量: xii, 249 p.
• 形態の詳細: ill.
• 大きさ: 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Lambda calculus--Congresses.; Computer science--Mathematics--Congresses.
• LCC: QA9.5
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Abstracts and papers.; "TLCA 2013 was part of (...) (RDP 2013), together with the 24th International Conference on Rewriting Techniques and Applications (RTA 2013), the Workshop on Control Operators and their Semantics (COS 2013), the Workshop on Haskell And Rewriting Techniques (HART 2013), the 11th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2013), the 27th International Workshop on Unification (UNIF 2013), the Second International Workshop on Confluence (IWC 2013), the Workshop on Infinitary Rewriting (WIR 2013), and the annual meeting of the IFIP Working Group 1.6 on Term Rewriting." -- pref.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-13-3388
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 024657874; http://id.ndl.go.jp/bib/024657874
• LC control number: 2013940266; https://lccn.loc.gov/2013940266
• OCLC番号: 856263571; https://www.worldcat.org/oclc/856263571
• 目録規則: 英米目録規則
• 整理区分コード: 215