The parametric lambda calculus : a meta-model for computation /

The parametric lambda calculus : a meta-model for computation /

Show other versions (1)
Bibliographic Details
Main Author: Ronchi Della Rocca, S. (Simona)
Other Authors: Paolini, Luca, 1970-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Texts in theoretical computer science.
Subjects:
Lambda calculus.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA9.5 .R66 2004
 
Call Number Status Get It
QA9.5 .R66 2004 Available