Bruno Xavier
According to our database1,
Bruno Xavier
authored at least 5 papers
between 2016 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Math. Struct. Comput. Sci., October, 2022
2021
A focused linear logical framework and its application to metatheory of object logics.
Math. Struct. Comput. Sci., 2021
2020
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020
2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
2016
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016