mu ijambo rye kandi yishimira uburyo u rwanda ruteye n'uko abanyarwanda babayeho uku kwibuka kwasigiye iki abarimu he and luca cardelli invented the ambient calculus for reasoning about mobile code