Henning Urbat -

Not registered as user yet

Name:Henning Urbat

Contributions

POPL 2023	Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track
FOSSACS 2019	Author of Equational Axiomatization of Algebras wth Structure within the FOSSACS 2019-track