lambda expression

noun 0.721

lambda

noun 0.666

combinatory logic

noun 0.582

functional programming

noun 0.558

linear logic

noun 0.548

latex

noun 0.543

lazy evaluation

noun 0.543

calculus

noun 0.533

lac

noun 0.530

lam

noun 0.528

lat

noun 0.519

lablab

noun 0.515

k-algebra

noun 0.504

predicate calculus

noun 0.503

language

noun 0.502

object language

noun 0.501

lemma

noun 0.500