Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sean Kristian Remond Harbo
conf.researchr.org general profile
POPL 2026 profile
Registered user since Thu 4 Dec 2025
Name:
Sean Kristian Remond Harbo
Country:
Denmark
Affiliation:
Aalborg University
Contributions
2026
PEPM
Author of Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations within the PEPM 2026-track
Share
x
Mon 16 Feb 13:22