• Sign in
  • Sign up
conf.researchr.org / Henning Urbat
  • ETAPS 2019 profile
  • POPL 2023 profile
  • POPL 2025 profile
No Photo

Not registered as user

Name:Henning Urbat

Contributions

2025

POPL

  • Author of Abstract Operational Methods for Call-by-Push-Value within the POPL-track

2023

POPL

  • Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track

2019

FOSSACS

  • Author of Equational Axiomatization of Algebras wth Structure within the FOSSACS 2019-track
Share
xThu 22 May 14:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up