Buy Used and New SimonaRonchiDellaRocca Books

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540732273

Format: Paperback (397 pages)
Publisher: Springer
Published: 15 Jun 2007

Save for later

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

by Simona Ronchi Della Rocca, Luca Paolini

ISBN 13: 9783642057465

Format: Paperback (252 pages)
Publisher: Springer
Published: 04 Dec 2010

Save for later