Lambda-kalkul

• Title in English: Lambda-calculus
• Authors: ZLATUŠKA Jiří
• Year of publication: 1993
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics

Related projects

• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing