Bassel Mannaa

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