Church typed-lambda calculus Implementation

lambda-Prolog 1 Influence
1
PM 1 Adaptation of
1