Rébecca Zucchini

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 5

Top Topics

Expressive Power

Theoretical Basis

Propositional Dynamic Logic

Conceptual Modeling

Top Venues

Publications

Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini
A Coq formalization of data provenance. CPP (2021)
Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini
Cocon: Computation in Contextual Type Theory. CoRR (2019)
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
A Type Theory for Defining Logics and Proofs. CoRR (2019)
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
A Type Theory for Defining Logics and Proofs. LICS (2019)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini
Strong Non-Interference and Type-Directed Higher-Order Masking. CCS (2016)