Sciweavers

AMC
2006

A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG

13 years 10 months ago
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Church
Seref Mirasyedioglu, Tolga Güyer
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AMC
Authors Seref Mirasyedioglu, Tolga Güyer
Comments (0)