the hornets went on to lose the game in overtime ejo yitabiriye ibirori he and luca cardelli invented the ambient calculus for reasoning about mobile code