Registered user since Thu 15 Sep 2022

Name:Stelios Tsampas
Country:Germany
Affiliation:Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)

Contributions

POPL 2023 Towards a Higher-Order Mathematical Operational Semantics
PriSC 2023 Committee Member in Program Committee within the PriSC 2023-track
Show activities from other conferences

POPL 2023-profile
View general profile