7060924
9783642022722
Out of Stock
The item you're looking for is currently unavailable.
Curien, Pierre-Louis is the author of 'Typed Lambada Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings', published 2009 under ISBN 9783642022722 and ISBN 3642022723.
[read more]