Matches in SemOpenAlex for { <https://semopenalex.org/work/W3087471123> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3087471123 abstract "Introduction: Lambda calculus is the mathematical basis for functional programming and often used to introduce it. There are currently a few lambda calculus interpretersavailable, but it was felt that all of them suffer from an unintuitive user experience, an unappealing user interface and require too much effort to understand.The purpose of the term project Lambda Calculus was to write a user friendly lambda calculus interpreter, which can be used to teach lambda calculusright from the beginning.Result: The outcome of the study project is a single page web application written in the functional programming language elm. The focus of the application lies on the derivation of lambda terms, which can either be reduced manually or by selecting a strategy.Lambda Calculus Calculator supports three different reduction methods:s-reductions, d-reductions and d-reduction for numerals, as well as two different resolution strategies: outermost first and innermost first.The project will be released at www.lambdacalc.io to the open source community under a MIT license so that anyone can contribute to it and other universities are able to incorporate the application into their classes and adapt it to their needs.Check out the result at https://lambdacalc.io" @default.
- W3087471123 created "2020-09-25" @default.
- W3087471123 creator A5010504495 @default.
- W3087471123 creator A5055814971 @default.
- W3087471123 date "2018-12-17" @default.
- W3087471123 modified "2023-09-26" @default.
- W3087471123 title "Lambda Calculus Calculator" @default.
- W3087471123 hasPublicationYear "2018" @default.
- W3087471123 type Work @default.
- W3087471123 sameAs 3087471123 @default.
- W3087471123 citedByCount "0" @default.
- W3087471123 crossrefType "dissertation" @default.
- W3087471123 hasAuthorship W3087471123A5010504495 @default.
- W3087471123 hasAuthorship W3087471123A5055814971 @default.
- W3087471123 hasConcept C111919701 @default.
- W3087471123 hasConcept C11413529 @default.
- W3087471123 hasConcept C122783720 @default.
- W3087471123 hasConcept C135790938 @default.
- W3087471123 hasConcept C142156749 @default.
- W3087471123 hasConcept C199343813 @default.
- W3087471123 hasConcept C199360897 @default.
- W3087471123 hasConcept C2776836400 @default.
- W3087471123 hasConcept C2777686260 @default.
- W3087471123 hasConcept C41008148 @default.
- W3087471123 hasConcept C61237538 @default.
- W3087471123 hasConcept C71924100 @default.
- W3087471123 hasConcept C77736955 @default.
- W3087471123 hasConceptScore W3087471123C111919701 @default.
- W3087471123 hasConceptScore W3087471123C11413529 @default.
- W3087471123 hasConceptScore W3087471123C122783720 @default.
- W3087471123 hasConceptScore W3087471123C135790938 @default.
- W3087471123 hasConceptScore W3087471123C142156749 @default.
- W3087471123 hasConceptScore W3087471123C199343813 @default.
- W3087471123 hasConceptScore W3087471123C199360897 @default.
- W3087471123 hasConceptScore W3087471123C2776836400 @default.
- W3087471123 hasConceptScore W3087471123C2777686260 @default.
- W3087471123 hasConceptScore W3087471123C41008148 @default.
- W3087471123 hasConceptScore W3087471123C61237538 @default.
- W3087471123 hasConceptScore W3087471123C71924100 @default.
- W3087471123 hasConceptScore W3087471123C77736955 @default.
- W3087471123 hasLocation W30874711231 @default.
- W3087471123 hasOpenAccess W3087471123 @default.
- W3087471123 hasPrimaryLocation W30874711231 @default.
- W3087471123 hasRelatedWork W109232922 @default.
- W3087471123 hasRelatedWork W131063383 @default.
- W3087471123 hasRelatedWork W146837998 @default.
- W3087471123 hasRelatedWork W1495344766 @default.
- W3087471123 hasRelatedWork W1562180136 @default.
- W3087471123 hasRelatedWork W197503858 @default.
- W3087471123 hasRelatedWork W2005712139 @default.
- W3087471123 hasRelatedWork W2011420390 @default.
- W3087471123 hasRelatedWork W2047654710 @default.
- W3087471123 hasRelatedWork W2130679144 @default.
- W3087471123 hasRelatedWork W2137868632 @default.
- W3087471123 hasRelatedWork W2139185130 @default.
- W3087471123 hasRelatedWork W230901656 @default.
- W3087471123 hasRelatedWork W2337269565 @default.
- W3087471123 hasRelatedWork W2462607872 @default.
- W3087471123 hasRelatedWork W2745380280 @default.
- W3087471123 hasRelatedWork W2950108849 @default.
- W3087471123 hasRelatedWork W3200208810 @default.
- W3087471123 hasRelatedWork W40861588 @default.
- W3087471123 hasRelatedWork W2227299585 @default.
- W3087471123 isParatext "false" @default.
- W3087471123 isRetracted "false" @default.
- W3087471123 magId "3087471123" @default.
- W3087471123 workType "dissertation" @default.