Harsh Beohar

1. Graded Monads and Behavioural Equivalence Games
   2022/03/29 by Chase Ford, Ford, Chase, Harsh Beohar +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
2. A coalgebraic higher-order modal fixed-point logic
   2026/07/21 by Ryan Tay, Harsh Beohar, Charles Grellois
   #cs.LO