View of Solving Equations in the lambda-Calculus using Syntactic Encapsulation

Return to Article Details Solving Equations in the lambda-Calculus using Syntactic Encapsulation Download Download PDF