Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jean Caspar
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Jean Caspar
Affiliation:
École normale supérieure – PSL, INRIA, LS2N, CNRS
Contributions
2026
PEPM
Author of S4 modal sequent calculus as intermediate logic and intermediate language (Short Paper) within the PEPM 2026-track
Share
x
Sun 15 Nov 01:11