Thomas Ehrhard

Identifiers

• name variant Thomas Ehrhard 0.60 · backfill

Papers (4)

1. Quantum Bayesian Networks: Compositionality and Typing via Linear Logic cs.LO · 2026 · author #2
2. Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications cs.LO · 2019 · author #1
3. A Fully Abstract Semantics for Value-passing CCS for Trees cs.LO · 2016 · author #2
4. CCS for Trees cs.LO · 2013 · author #1

Mentions

• 1306.1714 #1 · backfill · confidence 0.70 Thomas Ehrhard
• 2604.26059 #2 · arxiv_oai · confidence 0.70 Thomas Ehrhard

Frequent Coauthors

• Ying Jiang 2 shared papers
• Claudia Faggian 1 shared papers
• Lorenzo Tortora de Falco 1 shared papers
• Maribel Fern\'andez 1 shared papers
• R\'emi Di Guardia 1 shared papers
• Shichao Liu 1 shared papers
• Valeria de Paiva 1 shared papers