The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini.

Author
Ronchi Della Rocca, S. (Simona) [Browse]
Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer-Verlag, c2004.
Description
xiii, 252 p. : ill. ; 24 cm.

Details

Subject(s)
Related name
Series
Texts in theoretical computer science [More in this series]
Bibliographic references
Includes bibliographical references (p. [241]-246) and index.
ISBN
3540200320 (acid-free paper)
LCCN
2003069100
OCLC
53839958
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view