Dr. Junhua Yu’s Talks [2017-04-13/14]
Dr. Junhua Yu from Tsinghua University is going to visit CSLC in April. During his visit he will give two talks at the Center. For more details please click the links below: Yu, Junhua: A hyper-sequent calculus for the instantial … Continue reading →