The parametric lambda calculus :
Ronchi Della Rocca, S.
The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini. - Berlin ; New York : Springer-Verlag, c2004. - xiii, 252 p. : ill. ; 24 cm.
Includes bibliographical references (p. [241]-246) and index.
3540200320 9783540200321
2003069100
Lambda calculus.
QA9.5 / .R66 2004
511.35
The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini. - Berlin ; New York : Springer-Verlag, c2004. - xiii, 252 p. : ill. ; 24 cm.
Includes bibliographical references (p. [241]-246) and index.
3540200320 9783540200321
2003069100
Lambda calculus.
QA9.5 / .R66 2004
511.35