• Sign in
  • Sign up
conf.researchr.org / Bert Lindenhovius
  • ICFP 2019 profile
  • ICFP 2022 profile
  • POPL 2020 profile
  • POPL 2022 profile

Registered user since Thu 26 Dec 2019

Name:Bert Lindenhovius
Country:Austria
Affiliation:JKU Linz

Contributions

PLanQC 2022 Committee Member in Program Committee within the PLanQC-track
POPL 2022 Author of Semantics for Variational Quantum Programming within the POPL-track
PLanQC 2020 Author of Quantum CPOs within the PLanQC-track
ICFP 2019 Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track

Share
xWed 31 May 23:52
using conf.researchr.org (v1.60.0)
Support page
Sign Up