Talk:Ambient calculus/to do


 * Add a section briefly describing the various offshoots of the original ambient calculus