Login / Signup
Zesen Qian
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Sequent Calculus
Database Architectures
Cut Elimination
Linear Logic
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Zesen Qian
,
G. A. Kavvos
,
Lars Birkedal
Client-server sessions in linear logic.
Proc. ACM Program. Lang.
5 (ICFP) (2021)
Zesen Qian
,
G. A. Kavvos
,
Lars Birkedal
Client-Server Sessions in Linear Logic.
CoRR
(2020)