Bert Lindenhovius -

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