lambda-terms

There are 0 repository under lambda-terms topic.

Chymyst / curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
curry-howard-isomorphism intuitionistic-logic theorem-prover scala functional-programming code-generation scala-macros lambda-terms lambda-calculus automated-theorem-provers
Language:Scala 255
ptarau / TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
intuitionistic-logic theorem-prover type-inference curry-howard-isomorphism prolog lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation beta-reduction all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms
Language:Prolog 29
mbuliga / quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
chemlambda lambda-calculus quine artificial-life quine-graph graph-rewriting-library interaction-combinators lambda-terms rewrites artificial-chemistry simulation
Language:JavaScript 18
thma / lispkit
Implementing a small functional language with a combinator graph reduction engine
lispkit combinator-graphs graph-reduction lambda-calculus repl lambda-terms eval functional-language combinatory-logic ski-combinators parallel-reduction
Language:Haskell 5
OganyanRV / Lambda-calculus-interpreter
beta-reduction de-bruijn-notation lambda-calculus lambda-calculus-interpreter lambda-terms normal-forms reduction reduction-strategies
Language:Jupyter Notebook 3
catseye / Lariat
MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms
lambda-terms abstract-data-type name-binding abstract-name-binding
Language:Haskell 2
tpreviero / lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions
evaluator kotlin lambda lambda-calculus lambda-calculus-evaluator lambda-expression lambda-terms
Language:Kotlin