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

Bibliotek som har denne