Baidu
map

From Enhanced Coinduction towards Enhanced Induction

Sangiorgi, D

Sangiorgi, D (通讯作者),Univ Bologna, Dept Comp Sci DISI, Bologna, Italy.;Sangiorgi, D (通讯作者),INRIA, Inria Sophia Mediterranee, Sophia Antipolis, France.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022; 6 ():

Baidu
map
Baidu
map
Baidu
map