Lambda-kalkul

• Autoři: ZLATUŠKA Jiří
• Rok publikování: 1993
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů