Bassel Mannaa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A sheaf model of the algebraic closure	2021-06-24	Paper
A sheaf model of the algebraic closure (available as arXiv preprint)	2021-06-24	Paper
The clocks they are adjunctions. Denotational semantics for clocked type theory (available as arXiv preprint)	2021-06-15	Paper
Stack semantics of type theory	2021-01-19	Paper
Stack semantics of type theory (available as arXiv preprint)	2021-01-19	Paper
scientific article; zbMATH DE number 7288622 (Why is no real title available?) (available as arXiv preprint)	2020-12-18	Paper
scientific article; zbMATH DE number 7288622 (Why is no real title available?)	2020-12-18	Paper
Modal dependent type theory and dependent right adjoints Mathematical Structures in Computer Science	2020-03-11	Paper
Cluster editing problem for points on the real line: a polynomial time algorithm Information Processing Letters	2017-11-03	Paper
The independence of Markov's principle in type theory	2017-10-17	Paper
The independence of Markov's principle in type theory (available as arXiv preprint)	2017-10-12	Paper
Dynamic Newton-Puiseux theorem Journal of Logic and Analysis	2014-11-20	Paper

Research outcomes over time

This page was built for person: Bassel Mannaa