Forma normal beta
Sign in to savepotential state for a term in Lambda calculus
Article · Português
Na teoria do cálculo lambda, um termo se encontra na forma normal beta se não é possível nenhuma redução beta. Da mesma forma, um termo se encontra na forma normal beta-eta se uma redução beta não é possível nem tampouco uma redução eta.
Abstract from DBpedia / Wikipedia · CC BY-SA