| 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: 14. 5. 2024 12:46