Práce na stejné téma (mají shodná klíčová slova):
lambda calculusKlíčová slova abecedně | Klíčová slova dle četnosti
Online Lambda Calculus Evaluator
(Jakub Kadlecaj)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/phetv/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
(Michal Fait)2022, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/151353 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Web Application for Construction of Type Derivation Trees
(Martin Škrovina)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/u4h13/ | Aplikovaná informatika / | Práce na příbuzné téma
Use-mention Distinction in Transparent Intensional Logic
(Jan Křetínský)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ygeuu/ | Informatika / | Práce na příbuzné téma