de-bruijn-notation

There are 0 repository under de-bruijn-notation topic.

ptarau / TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
all-binary-trees-generator all-set-partitions-gnerator beta-reduction boltzmann-sampler curry-howard-isomorphism de-bruijn-notation intuitionistic-logic knuth-s-algorithm-r lambda-terms normal-forms prolog random-binary-tree random-set-partition remy-s-algorithm tautology-checking theorem-prover type-inference
Language:Prolog 29
OganyanRV / Beta-reduction
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
lambda lambda-calculus lambda-calculus-interpreter beta-reduction shift substitution de-bruijn-notation
Language:C++ 3
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
phipsgabler / LambdaCalculus.jl
Representations of lambda terms in a form you can work with
de-bruijn-notation lambda-calculus lambda-expressions locally-nameless
Language:Julia 2
meditans / co-de-bruijn
agda de-bruijn-notation lambda-calculus
Language:Agda 1
tom-weatherhead / facility
A Lambda Calculus interpreter implemented in C.
c interpreter lambda-calculus de-bruijn-notation graph-reduction beta-reduction church-numerals y-combinator
Language:C 1