Marc de Visme
发表
Glynn Winskel,
Marc de Visme,
2020,
ArXiv.
Glynn Winskel,
Marc de Visme,
Pierre Clairambault,
2019,
Proc. ACM Program. Lang..
Glynn Winskel,
Marc de Visme,
G. Winskel,
2016,
CSL.
Glynn Winskel,
Marc de Visme,
Pierre Clairambault,
2019,
RC.
Glynn Winskel,
Marc de Visme,
G. Winskel,
2019,
CALCO.
Marc de Visme,
2019,
CONCUR.
Marc de Visme,
Pierre Clairambault,
2020,
Proc. ACM Program. Lang..
Ugo Dal Lago,
Damiano Mazza,
Marc de Visme,
2019,
Proc. ACM Program. Lang..
Simon Perdrix,
Marc de Visme,
Titouan Carette,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marc de Visme,
Damiano Mazza,
2017
.
Marc de Visme,
B. Valiron,
R. Vilmart,
2022,
2206.10234.
Marc de Visme,
B. Valiron,
R. Vilmart,
2022,
ArXiv.
Marc de Visme,
S. Perdrix,
T. Carette,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marc de Visme,
P. Clairambault,
2019,
Proc. ACM Program. Lang..
Marc de Visme,
G. Winskel,
2020,
Log. Methods Comput. Sci..