Enlarge

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings

Publication Data

Title Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings
Contributor Luke Ong
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Topics

Lambda calculus :: Congresses

Catalogue Data

OBNB ID GBB171135
ISBN 10 3642216900
ISBN 13 9783642216909
Type BibliographicResource, Book
Dewey Classification 511.35

ISBD

P1053 xii, 244 p.
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings. ISBN 9783642216909. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.