عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642216909 (soft cover : alk. paper)
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Typed lambda calculi and applications
Other Title Information
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. proceedings
First Statement of Responsibility
[edited by]& Luke Ong
EDITION STATEMENT
Subsequent Statement of Responsibility
1st ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
p. cm.
