Bassel Mannaa

Available identifiers

zbMath Open mannaa.basselMaRDI QIDQ1675766

List of research outcomes

Publication	Date of Publication	Type
A sheaf model of the algebraic closure	2021-06-24	Paper
The clocks they are adjunctions. Denotational semantics for clocked type theory	2021-06-15	Paper
Stack semantics of type theory	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5141620	2020-12-18	Paper
Modal dependent type theory and dependent right adjoints	2020-03-11	Paper
Cluster editing problem for points on the real line: a polynomial time algorithm	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	2017-10-12	Paper
Dynamic Newton-Puiseux theorem	2014-11-20	Paper

Research outcomes over time

This page was built for person: Bassel Mannaa