G. A. Kavvos

1. The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time
   2016/05/25 by G. A. Kavvos, Kavvos, G. A. · 6 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies #cs.LO
2. Multimodal Dependent Type Theory
   2020/11/30 by Daniel Gratzer, G. A. Kavvos, Andreas Nuyts +1 · 1 voice
   Computer Science · #cs.LO