Domains and Lambda-calculi

Roberto M. Amadio, Pierre-Louis Curien
Bok · Engelsk · 1998

Utgitt	Cambridge : Cambridge University Press , c1998
Omfang	XVI, 484 s.
Emner	Lambda calculus Programming languages (Electronic computers) - Semantics
ISBN	0521622778. - 9780521062923. - 9780521622776