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
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
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
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
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
Linear Temporal Logic and omega-automata
(František Blahoudek)2015, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vvxpf/ | Informatika / | Theses on a related topic
Investigations into Transparent Intensional Logic: A Rule-based Approach
(Ivo Pezlar)2016, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | Theses on a related topic