Statistics
Publications
3
Citations
76
H-Index
3
Active since
2010
Affiliations
IT University of Copenhagen(Current)
Bassel Mannaa is an author at IT University of Copenhagen specializing in engineering, mathematical programming, and geometric modeling.
Publications per year
2010–2019
3
3
Modal dependent type theory and dependent right adjoints
Lars Birkedal, Ranald Clouston, Bassel Mannaa et al. · Apollo (University of Cambridge) · 2019 · 40 citations · Full text
Stack semantics of type theory
Thierry Coquand, Bassel Mannaa, Fabian Ruch · 2017 · 23 citations · Full text
1–3 of 3