Peio Borthelle

Orcid: 0009-0006-7733-7439

According to our database¹, Peio Borthelle authored at least 4 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Operational Game Semantics in Type Theory. (Semantique des Jeux Operationelle en Theorie des Types).

[DOI]

PhD thesis, 2025

Artifact Report: an Abstract, Certified Account of Operational Game Semantics.

[DOI]

Proceedings of the Programming Languages and Systems, 2025

An abstract, certified account of operational game semantics.

[DOI]

Proceedings of the Programming Languages and Systems, 2025

2020

A Cellular Howe Theorem.

[DOI]

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020