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.

• Material Type: 図書
• ISBN: 9783642389450 (pbk. : alk. paper); 9783642389467 (e-ISBN)
• ISSN: 16113349 (e-ISSN)
• ISSN (series): 03029743
• Title: 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.
• Series Title: Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science
• Title Heading: LNCS sublibrary. SL 1, Theoretical computer science and general issues.
• Author Heading: International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, the Netherlands); Hasegawa, Masahito, 1970-
• Publication, Distribution, etc.: Berlin : Springer; New York : Springer
• Publication Date: c2013.
• Publication Date (W3CDTF): 2013
• Extent: xii, 249 p.
• Other physical details: ill.
• Size: 24 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Subject Heading: Lambda calculus--Congresses.; Computer science--Mathematics--Congresses.
• LCC: QA9.5
• NDLC: M17
• Target Audience: 一般
• Note (General): 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.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-13-3388
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 024657874; http://id.ndl.go.jp/bib/024657874
• LC Control Number: 2013940266; https://lccn.loc.gov/2013940266
• OCLC No.: 856263571; https://www.worldcat.org/oclc/856263571
• Cataloging Rule: Anglo-American Cataloging Rules
• Bibliographic Record Category (NDL): 215