
THE
PARAMETRIC LAMBDA
CALCULUS
A Metamodel for Computation
by Simona Ronchi Della Rocca
and Luca Paolini
Series : Texts in
Theoretical
Computer Science. An EATCS Series
SpringerVerlag Berlin,Hidelberg,New York,Hong
Kong,London,Milan,Paris,Tokyo
2004, XIII, 252 p., Hardcover ISBN:
3540200320 