Report copyright - (Effectul) Game Semantics for Dependent Typespbl/galop2016/vakarslides.pdf · (Effectul) Game Semantics for Dependent Types Samson Abramsky, Radha Jagadeesan and Matthijs V´ak ´ar
Please pass captcha verification before submit form
Please pass captcha verification before submit form