Bassel Mannaa

Identifiers

• name variant Bassel Mannaa 0.60 · backfill

Papers (7)

1. Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory cs.LO · 2020 · author #1
2. The clocks they are adjunctions:Denotational semantics for Clocked Type Theory cs.LO · 2018 · author #1
3. Modal Dependent Type Theory and Dependent Right Adjoints cs.LO · 2018 · author #3
4. Stack Semantics of Type Theory cs.LO · 2017 · author #2
5. The Independence of Markov's Principle in Type Theory cs.LO · 2016 · author #2
6. A Sheaf Model of the Algebraic Closure math.LO · 2014 · author #1
7. Dynamic Newton-Puiseux Theorem math.AC · 2013 · author #1

Mentions

• 2004.01709 #1 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1602.04530 #2 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1804.05236 #3 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1804.06687 #1 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1701.02571 #2 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1404.4549 #1 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1304.6770 #1 · arxiv_oai · confidence 0.70 Bassel Mannaa
• 1404.4549 #1 · backfill · confidence 0.70 Bassel Mannaa
• 1304.6770 #1 · backfill · confidence 0.70 Bassel Mannaa

Frequent Coauthors

• Thierry Coquand 4 shared papers
• Rasmus Ejlers M{\o}gelberg 3 shared papers
• Andrew M. Pitts 1 shared papers
• Bas Spitters 1 shared papers
• Fabian Ruch 1 shared papers
• Lars Birkedal 1 shared papers
• Niccol\`o Veltri 1 shared papers
• Ranald Clouston 1 shared papers