Beta normal form
Sign in to savepotential state for a term in Lambda calculus
Connections
algebraic normal form
Entity
International Standard Book Number
Entity
OCLC, Inc.
Entity
propositional calculus
Entity
lambda calculus
Entity
first-order logic
Entity
disjunctive normal form
Entity
conjunctive normal form
Entity
Horn clause
Entity
Skolem normal form
Entity
canonical normal form
Entity
prenex normal form
Entity
negation normal form
Entity
Normal form
Entity
Church–Rosser theorem
Entity
TheFreeDictionary.com
Entity
normal form
Entity