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