Bassel Mannaa

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 11

Top Topics

Theoretical Basis

Proof Theoretic

Top Venues

Log. Methods Comput. Sci.

Publications

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
Modal dependent type theory and dependent right adjoints. Math. Struct. Comput. Sci. 30 (2) (2020)
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. Log. Methods Comput. Sci. 16 (4) (2020)
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. CoRR (2020)
Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
Modal Dependent Type Theory and Dependent Right Adjoints. CoRR (2018)
Bassel Mannaa, Rasmus Ejlers Møgelberg
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. FSCD (2018)
Bassel Mannaa, Rasmus Ejlers Møgelberg
The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. CoRR (2018)
Thierry Coquand, Bassel Mannaa, Fabian Ruch
Stack semantics of type theory. LICS (2017)
Thierry Coquand, Bassel Mannaa, Fabian Ruch
Stack Semantics of Type Theory. CoRR (2017)
Thierry Coquand, Bassel Mannaa
The Independence of Markov's Principle in Type Theory. Log. Methods Comput. Sci. 13 (3) (2017)
Thierry Coquand, Bassel Mannaa
The Independence of Markov's Principle in Type Theory. FSCD (2016)
Thierry Coquand, Bassel Mannaa
The Independence of Markov's Principle in Type Theory. CoRR (2016)
Bassel Mannaa, Thierry Coquand
A Sheaf Model of the Algebraic Closure. CL&C (2014)
Bassel Mannaa, Thierry Coquand
Dynamic Newton-Puiseux theorem. J. Log. Anal. 5 (2013)
Bassel Mannaa
Cluster editing problem for points on the real line: A polynomial time algorithm. Inf. Process. Lett. 110 (21) (2010)