
Typed Lambda Calculi and Applications
Martin Hofmann
₹5,613

14th International Conference, Fossacs 2011, Held as Part of the Joint European Conferen
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbr�cken, Germany, March 26--April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
Description supplied by the publisher.