conf.researchr.org / Bert Lindenhovius
Registered user since Thu 26 Dec 2019
Name: Bert Lindenhovius
Affiliation: Tulane University
Contributions
| 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 |