Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kinnari Dave
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
POPL 2024 profile
Not registered as user
Name:
Kinnari Dave
Affiliation:
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles
Contributions
2025
ATVA
Author of IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation within the APLAS Papers-track
APLAS
Author of IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation within the Research Papers-track
2024
PLanQC
Author of Quantum and Classical Control (work-in-progress) within the PLanQC 2024-track
Share
x
Sat 25 Oct 21:21