ZLATUŠKA, Jiří, T. CHRZ a P. MATERNA. Lambda kalkul. In Proc. SOFSEM 85. 1985. s. 195-242, 48 s.
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: 19. 5. 2019 18:44