Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil.

(Lecture Notes in Computer Science ; 5608)

Call No. (NDL): M17-10-382
Bibliographic ID of National Diet Library: 000010402624

Material type: 図書

Author: Curien, P.-L. (Pierre-Louis)ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xiii, 415 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers." (...) (TLCA 2009) , which was held (...) as part of the 5th International Conference on Rewriting, Deduction, and Programming (...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642022722 (ISBN-13)
3642022723
ISSN (series): 0302-9743
Title: Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil.
Series Title: Lecture Notes in Computer Science ; 5608
Title Heading: Lecture notes in computer science ; 5608.
Author Heading: Curien, P.-L. (Pierre-Louis)
International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilia, Brazil)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xiii, 415 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Lambda calculus -- Congresses.
NDLC: M17
Note (General): Abstracts and papers.
" (...) (TLCA 2009) , which was held (...) as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with (...) (RTA 2009) , (...) (ISR 2009) , (...) (LSFA 2009) , (...) (RULE 2009) , (...) (WFLP 2009) , (...) (WRS 2009) , 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-10-382
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010402624
http://id.ndl.go.jp/bib/000010402624
OCLC No.: 401156611
https://www.worldcat.org/oclc/401156611
Bibliographic Record Category (NDL): 215