Net Lambda paper - initial draft versions