AMADIO, Roberto M. a Pierre-Louis CURIEN. Domains and Lambda calculi. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN 0521622778. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Domains and Lambda calculi |
Autoři | AMADIO, Roberto M. a Pierre-Louis CURIEN. |
Vydání | Cambridge, xvi, 484, 1998. |
Nakladatel | Cambridge University Press |
Další údaje | |
---|---|
ISBN | 0521622778 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 22. 5. 2023 04:44. |
VytisknoutZobrazeno: 18. 10. 2024 00:58