152 followers
c-reductions (http://t.co/HIR6uWlC) talk by Andrea Vandin in a few hours in Kyoto (ICFEM), not only for #maude fans, right @m_loreti?
c-reductions (http://t.co/HIR6uWlC) talk by Andrea Vandin in a few hours in Kyoto (ICFEM), not only for #maude fans, right @m_loreti?