Rewriting and typed lambda calculi : joint international conferencs, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings

Publication Data

Title Rewriting and typed lambda calculi : joint international conferencs, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
Alternative Title RTA-TLCA 2014
Contributor Gilles Dowek
Publisher Springer
Publication date 2014
Publication location Cham
Language English

Descriptive Notes

"25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)"--foreword.

Topics

Lambda calculus :: Congresses

Catalogue Data

OBNB ID GBB479763
ISBN 10 331908917X
ISBN 13 9783319089171
Type BibliographicResource, Book
Dewey Classification 004.0151135

ISBD

P1053 xxi, 490 pages
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:

Rewriting and typed lambda calculi : joint international conferencs, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings. ISBN 9783319089171. Published by Springer in 2014. Publication and catalogue information, links to buy online and reader comments.