Bc. Jakub Kadlecaj

Bachelor's thesis

Online Lambda Calculus Evaluator

Online Lambda Calculus Evaluator
Abstract:
Táto bakalárska práca sa zaoberá návrhom a implementáciou interaktívnej učebnej pomôcky určenej k napomáhaniu pochopenia základných princípov lambda kalkulu – formalizmu ktorý je nielen dôležitý v oblasti teoretickej informatiky, ale aj aplikovateľný v reálnych súčasných výpočetných systémoch. Výsledkom tejto práce je online aplikácia prijímajúca termy λ-kalkulu vložené používateľom, umožňujúca ich …more
Abstract:
This thesis deals with the design and the implementation of an interactive learning tool, intended to aid in the understanding of the fundamental principles of lambda calculus—a formalism that is not only important to theoretical computer science, but also has many applications in today’s real-world systems. The product of this work is an online application accepting λ-calculus terms input by a user …more
 

Keywords

lambda calculus web application functional programming type theory JavaScript logic
 
Language used: English
Date on which the thesis was submitted / produced: 28. 5. 2018
Identifier: https://is.muni.cz/th/phetv/

Thesis defence

  • Date of defence: 28. 6. 2018
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: RNDr. Vladimír Štill

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Artificial Intelligence and Natural Language Processing

Theses on a related topic

List of theses with an identical keyword.
All theses