Simon Forest

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
An Analysis of Symmetry in Quantitative Semantics.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
The Cartesian Closed Bicategory of Thin Spans of Groupoids.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2016
Dependent types and multi-monadic effects in F.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016


  Loading...