Theses on the same topic (having an identical keyword):
lambda calculusKeywords ordered alphabetically | Keywords ordered by occurrence rate
Application of functional programming in the development of enterprise systems
(Tomáš Pastirčák)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m009t/ | Informatika / Počítačové systémy | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
Deduction in Matching Logic
(Adam Fiedler)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mcbtk/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
The Logic of Edgar Allan Poe's Short Stories
(Kateřina Mazlová)2024, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/tqda4/ | Anglický jazyk a literatura / | Theses on a related topic
Online editor and simulator of logic circuits
(Tomáš Lacko)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v9m1e/ | Aplikovaná informatika / | Theses on a related topic
Logic Puzzle Game Prototype with Semi-Automated Level Design
(Jakub Smatana)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dgxfz/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Theses on a related topic
Algebraic models for quantum logic
(Kadir Emir)2024, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/fx3zx/ | Matematika a statistika / Algebra, teorie čísel a matematická logika | Theses on a related topic
Translation of Linear Temporal Logic to Omega-Automata
(Tomáš Babiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Theses on a related topic