Sean Kristian Remond Harbo
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Hans Hüttelonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations | PEPM 2026 | 2026-01-11 |
Proposes Computation-Tree Semantics where configurations are trees that encode evaluation contexts and continuations, making semantic rules algorithmic rather… | ||
| nothing matches | ||