functional computation model

AMC
2006

89views more AMC 2006»

A functional computation model for the duality of two-variable Lambda-Boolean functions

13 years 11 months ago

This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...

Tolga Güyer, Seref Mirasyedioglu

claim paper

Read More »

click to vote

AMC
2006

125views more AMC 2006»

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

13 years 11 months ago

Download w3.gazi.edu.tr

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 Churc...

Seref Mirasyedioglu, Tolga Güyer

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers