Follow
Bassel Mannaa
Title
Cited by
Cited by
Year
Modal dependent type theory and dependent right adjoints
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Mathematical Structures in Computer Science 30 (2), 118-138, 2020
572020
The independence of Markov's principle in type theory
T Coquand, B Mannaa
Logical Methods in Computer Science 13, 2017
462017
Stack semantics of type theory
T Coquand, B Mannaa, F Ruch
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
402017
Dynamic Newton-Puiseux theorem
B Mannaa, T Coquand
Journal of Logic and Analysis 5, (5:5)1-22, 2013
202013
The clocks they are adjunctions: Denotational semantics for clocked type theory
B Mannaa, RE Møgelberg
arXiv preprint arXiv:1804.06687, 2018
162018
Cluster editing problem for points on the real line: A polynomial time algorithm
B Mannaa
Information processing letters 110 (21), 961-965, 2010
152010
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
B Mannaa, RE Møgelberg, N Veltri
Logical Methods in Computer Science 16, 2020
92020
Modal dependent type theory and dependent right adjoints
R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
arXiv preprint arXiv:1804.05236, 2018
62018
On the decidability of conversion in type theory
A Abel, T Coquand, B Mannaa
22nd International Conference on Types for Proofs and Programs, TYPES, 23-26, 2016
62016
A sheaf model of the algebraic closure
B Mannaa, T Coquand
arXiv preprint arXiv:1404.4549, 2014
62014
Modal Dependent Type Theory and Dependent Right Adjoints. CoRR abs/1804.05236 (2018), 1–21
R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
arXiv preprint arXiv:1804.05236, 2018
52018
Sheaf Semantics in Constructive Algebra and Type Theory
B Mannaa
22016
Dependent Right Adjoint Types
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Talk submitted to Types, 2018
12018
What makes guarded types tick?
P Bahr, B Mannaa, RE Møgelberg
2018
The Independence of Markov's Principle in Type Theory
T Coquand, B Mannaa
1st International Conference on Formal Structures for Computation and …, 2016
2016
Constructive Newton-Puiseux Theorem: Sheaf Model of the Separable Closure and Dynamic Evaluation
B Mannaa
Department of Computer Science and Engineering, University of Gothenburg, 2014
2014
Dynamic construction of aglebraic closure and a coinductive proof of Hensel's lemma
B Mannaa
Chalmers University of Technology, 2010
2010
Newton–Puiseux Theorem
B Mannaa
The system can't perform the operation now. Try again later.
Articles 1–18