Login / Signup
Yalun Liang
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Problem Based Learning
Distance Education
Computer Programming
Denotational Semantics
Top Venues
ThEdu@CADE
</>
Publications
</>
Qinxiang Cao
,
Xiwei Wu
,
Yalun Liang
A Coq Library of Sets for Teaching Denotational Semantics.
ThEdu@CADE
(2023)