Bassel Mannaa

According to our database, Bassel Mannaa authored at least 9 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Modal dependent type theory and dependent right adjoints.

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters

Math. Struct. Comput. Sci., 2020

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.

Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri

Log. Methods Comput. Sci., 2020

2018

Modal Dependent Type Theory and Dependent Right Adjoints.

Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters

CoRR, 2018

The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory.

Bassel Mannaa, Rasmus Ejlers Møgelberg

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

The Independence of Markov's Principle in Type Theory.

Thierry Coquand, Bassel Mannaa

Log. Methods Comput. Sci., 2017

Stack semantics of type theory.

Thierry Coquand, Bassel Mannaa, Fabian Ruch

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2014

A Sheaf Model of the Algebraic Closure.

Bassel Mannaa, Thierry Coquand

Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014

2013

Dynamic Newton-Puiseux theorem.

Bassel Mannaa, Thierry Coquand

J. Log. Anal., 2013

2010

Cluster editing problem for points on the real line: A polynomial time algorithm.

Bassel Mannaa

Inf. Process. Lett., 2010