646 citations
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR251 papers
- Université Paris-SaclayFR110 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- CEA Paris-SaclayFR55 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR21 papers
- Université d'Abomey-CalaviBJ21 papers
- Laboratoire National Henri BecquerelFR19 papers
- Université Grenoble AlpesFR16 papers
- Sorbonne UniversitéFR14 papers
- CEA GrenobleFR11 papers
- CentraleSupélecFR11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
Showing 2021 · cs.LOShow all
2 papers · 2 filters
cs.LO2021
Formalization of dependent type theory: The example of CaTT
Thibaut Benjamin
We present the type theory CaTT, originally introduced by Finster and Mimram to describe globular weak -categories, and we formalise this theory in the language of homotopy type…
cs.LO2021★ 234 cited
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
Dongho Lee, Valentin Perrelle, Benoît Valiron +1
In this paper, we introduce dynamic lifting to a quantum circuit-description language, following the Proto-Quipper language approach. Dynamic lifting allows programs to transfer th…