Bassel Mannaa

Postdoc in the Programming Logic and Semantics group, Theoretical Computer Science, IT University of Copenhagen

IT University of Copenhagen
Rued Langgaards Vej 7
2300 Copenhagen S


Stack Semantics of Type Theory [Preprint]

Sheaf Semantics in Constructive Algebra and Type Theory [PhD thesis]

The Independence of Markov's Principle in Type Theory [FSCD'16]

Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation [Licentiate Thesis]

A Sheaf Model Of The Algebraic Closure [Proceedings CL&C'14]

Dynamic Newton–Puiseux Theorem [Journal of Logic and Analysis]

Cluster editing problem for points on the real line: A polynomial time algorithm [Inform. Process. Lett]

Dynamic construction of the algebraic closure and coinductive proof of Hensel's lemma [M.Sc. Thesis]


On the Decidability of Conversion in Type Theory [TYPES'16]


A note on separable polynomials

Apartness on strongly regular rings

Regular Expressions in Agda [Course Report]


Last modified: Wed Jan 11 16:00:07 CET 2017