TY  - BOOK
AU  - Ronchi Della Rocca,S.
AU  - Paolini,Luca
TI  - The Parametric Lambda Calculus : a Meta-Model for Computation 
SN  - 3540200320 (hb)
U1  - 511.35 ROC-PAO 
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Lambda calculus
N1  - Includes bibliographical references and index
ER  -