The parametric lambda calculus : a meta-model for computation
Simona Ronchi Della Rocca, Luca Paolini
Bok Engelsk 2004 S. Ronchi Della Rocca
Utgitt | Berlin : Springer-Verlag , c2004
|
---|---|
Omfang | XIII, 252 s. : fig.
|
Emner | |
ISBN | 3540200320
|
Utgitt | Berlin : Springer-Verlag , c2004
|
---|---|
Omfang | XIII, 252 s. : fig.
|
Emner | |
ISBN | 3540200320
|