Domains and Lambda-calculi
Roberto M. Amadio, Pierre-Louis Curien
Bok Engelsk 1998
Utgitt | Cambridge : Cambridge University Press , c1998
|
---|---|
Omfang | XVI, 484 s.
|
Emner | |
ISBN | 0521622778. - 9780521062923. - 9780521622776
|
Utgitt | Cambridge : Cambridge University Press , c1998
|
---|---|
Omfang | XVI, 484 s.
|
Emner | |
ISBN | 0521622778. - 9780521062923. - 9780521622776
|