| ZLATUŠKA, Jiří, T. CHRZ a P. MATERNA. Lambda kalkul. In Proc. SOFSEM 85. 1985, s. 195-242. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Lambda kalkul |
| Název anglicky | Lambda-calculus |
| Autoři | ZLATUŠKA, Jiří, T. CHRZ a P. MATERNA. |
| Vydání | Proc. SOFSEM 85, od s. 195-242, 48 s. 1985. |
| Další údaje | |
|---|---|
| Typ výsledku | Stať ve sborníku |
| Utajení | není předmětem státního či obchodního tajemství |
| Změnil | Změnila: Irena Hudečková, učo 143565. Změněno: 23. 8. 2004 12:07. |
VytisknoutZobrazeno: 29. 5. 2024 18:46