Lutz Strassburger
Lutz Strassburger
Affiliation: INRIA Saclay
Pages in this Program
Proof Identity and Categorical Models of BV
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑