Typed lambda calculi and applications : 7th international conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings. : joint conference on rewriting, deduction and programming (RDP 2005) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3461)

Typed lambda calculi and applications : 7th international conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings. : joint conference on rewriting, deduction and programming (RDP 2005) : Apr 2005, Nara, Japan.

(Lecture Notes in Computer Science ; 3461)

Call No. (NDL): M17-05-1682
Bibliographic ID of National Diet Library: 000007843739

Material type: 図書

Author: -

Publisher: Springer

Publication date: c2005.

Material Format: Paper

Capacity, size, etc.: xi, 432 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers, an abstract and discussions.

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: 3540255931
9783540255932 (ISBN-13)
ISSN (series): 0302-9743
Title: Typed lambda calculi and applications : 7th international conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings. : joint conference on rewriting, deduction and programming (RDP 2005) : Apr 2005, Nara, Japan.
Series Title: Lecture Notes in Computer Science ; 3461
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: xi, 432 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
NDLC: M17
Note (General): Papers, an abstract and discussions.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-05-1682
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007843739
http://id.ndl.go.jp/bib/000007843739
Bibliographic Record Category (NDL): 215