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 | 51 | 2020 |

The independence of Markov's principle in type theory T Coquand, B Mannaa Logical Methods in Computer Science 13, 2017 | 42 | 2017 |

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 | 33 | 2017 |

Dynamic Newton-Puiseux theorem B Mannaa, T Coquand Journal of Logic and Analysis 5, (5:5)1-22, 2013 | 18 | 2013 |

The clocks they are adjunctions: Denotational semantics for clocked type theory B Mannaa, RE Møgelberg arXiv preprint arXiv:1804.06687, 2018 | 15 | 2018 |

Cluster editing problem for points on the real line: A polynomial time algorithm B Mannaa Information processing letters 110 (21), 961-965, 2010 | 15 | 2010 |

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 | 8 | 2020 |

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 | 6 | 2018 |

A sheaf model of the algebraic closure B Mannaa, T Coquand arXiv preprint arXiv:1404.4549, 2014 | 6 | 2014 |

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 | 5 | 2018 |

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 | 5 | 2016 |

Sheaf Semantics in Constructive Algebra and Type Theory B Mannaa | 2 | 2016 |

Dependent Right Adjoint Types L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters Talk submitted to Types, 2018 | 1 | 2018 |

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 | | |