knuth-s-algorithm-r

There are 0 repository under knuth-s-algorithm-r topic.

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 30