Recent Theoretical Results in Chemical Computing