Simon Forest
发表
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2016,
POPL.
Santiago Zanella Béguelin,
K. Bhargavan,
Antoine Delignat-Lavaud,
2016,
POPL.
Simon Forest,
2019,
Higher Structures.
Simon Forest,
2019
.
Simon Forest,
Mathieu Lefort,
J. Quinton,
2022,
2022 International Joint Conference on Neural Networks (IJCNN).
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2015
.
David McKinnon,
Vadym Kliuchnikov,
David Gosset,
2015,
1501.04944.
Samuel Mimram,
Simon Forest,
Simon Forest,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Simon Forest,
S. Mimram,
2022,
2211.16099.
Simon Forest,
Mathieu Lefort,
J. Quinton,
2022,
Neural Computation.
Simon Forest,
S. Mimram,
2021,
Mathematical Structures in Computer Science.
Samuel Mimram,
Simon Forest,
Simon Forest,
2018,
FSCD.