Talk:Operational calculus on programming spaces