jeudi 22 décembre 2016

how to fully parenthesis a lambda calculus expressionn

How can i convert a not fully parenthesize lambda expression (λabc.ab), to supposedly a fully parenthesized form. (λa.(λb.(λc.(ab)))) how can i code this lambda expression to fully parenthesize it in java or other languages(if there's any code) using stack pop and push? any help for the logic?

Aucun commentaire:

Enregistrer un commentaire