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

Theoretical

von Simona Ronchi Della Rocca

Taschenbuch

ISBN: 978-3-642-05746-5

ISBN-10: 3-642-05746-2

Springer Berlin Heidelberg · 2010

Siehe auch:
2004Gebundene AusgabeThe Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)