| 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 | 64 | 2020 |
| The independence of Markov's principle in type theory T Coquand, B Mannaa Logical Methods in Computer Science 13, 2017 | 50 | 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 | 39 | 2017 |
| Dynamic Newton-Puiseux theorem B Mannaa, T Coquand Journal of Logic and Analysis 5, (5:5)1-22, 2013 | 23 | 2013 |
| Cluster editing problem for points on the real line: A polynomial time algorithm B Mannaa Information processing letters 110 (21), 961-965, 2010 | 18 | 2010 |
| The clocks they are adjunctions: Denotational semantics for clocked type theory B Mannaa, RE Møgelberg arXiv preprint arXiv:1804.06687, 2018 | 16 | 2018 |
| 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 | 11 | 2020 |
| A sheaf model of the algebraic closure B Mannaa, T Coquand arXiv preprint arXiv:1404.4549, 2014 | 7 | 2014 |
| 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 |
| 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 | 6 | 2016 |
| 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 |
| 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 |
| 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) S Delaune, G Rosu, P Selinger, V Vignudelli, S Alves, S Broda, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 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 |
| 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) A Ahmed, I Hasuo, G Huet, T Nipkow, R Akiyoshi, K Terui, T Altenkirch, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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 | | |
Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
