Related Tags
term-rewriting × 67lambda-calculus × 16
logic × 8
algorithms × 5
formal-languages × 5
normal-forms × 5
turing-machines × 4
computability × 4
programming-languages × 4
proof-techniques × 4
semantics × 4
termination × 4
reference-request × 3
type-theory × 3
computation-models × 3
functional-programming × 3
operational-semantics × 3
unification × 3
types-and-programming-languages × 3
data-structures × 2
terminology × 2
satisfiability × 2
turing-completeness × 2
cellular-automata × 2
computer-algebra × 2