Bassel Mannaa
发表
Thierry Coquand,
Bassel Mannaa,
T. Coquand,
2013,
J. Log. Anal..
Thierry Coquand,
Bassel Mannaa,
2016,
FSCD.
Bassel Mannaa,
B. Mannaa,
2010,
Inf. Process. Lett..
Rasmus Ejlers Møgelberg,
Bassel Mannaa,
Rasmus Ejlers Mogelberg,
2020,
Log. Methods Comput. Sci..
Thierry Coquand,
Bassel Mannaa,
T. Coquand,
2016,
Log. Methods Comput. Sci..
Bas Spitters,
Andrew M. Pitts,
Bassel Mannaa,
2018,
Mathematical Structures in Computer Science.
Thierry Coquand,
Fabian Ruch,
Bassel Mannaa,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rasmus Ejlers Møgelberg,
Bassel Mannaa,
B. Mannaa,
2018,
FSCD.
Thierry Coquand,
Bassel Mannaa,
2014,
CL&C.