Tamanho da fonte: 

Apresenta-se aqui uma nova implementação em Prolog para a operação de redução-beta, parte do cálculo-lambda importante para a semântica composicional, e que não apresenta o mesmo defeito das implementações de Pereira & Shieber e Blackburn & Bos (em ambas, as variáveis ligadas pelo operador-lambda acabam instanciadas com constantes, o que inviabiliza a manutenção do histórico derivacional das reduções).

redução-beta; operador-lambda