The Parametric Lambda Calculus : a Meta-Model for Computation
Ronchi Della Rocca, S.
The Parametric Lambda Calculus : a Meta-Model for Computation Simona Ronchi Della Rocca, Luca Paolini. - Berlin ; Springer-Verlag, 2004. - xiii, 252 p. : ill. ; 23 cm. - Texts in theoretical computer science .
Includes bibliographical references and index.
3540200320 (hb) 9783540200321
Lambda calculus.
511.35 ROC-PAO
The Parametric Lambda Calculus : a Meta-Model for Computation Simona Ronchi Della Rocca, Luca Paolini. - Berlin ; Springer-Verlag, 2004. - xiii, 252 p. : ill. ; 23 cm. - Texts in theoretical computer science .
Includes bibliographical references and index.
3540200320 (hb) 9783540200321
Lambda calculus.
511.35 ROC-PAO