The Parametric Lambda Calculus A Metamodel For Computation
Publisher: Springer
Published: 2010
ISBN-13: 9783642057465