Kavvos, G. A.

1. The Many Worlds of Modal \λ-calculi: I. Curry-Howard for\n Necessity, Possibility and Time
   2016/05/25 by G. A. Kavvos, Kavvos, G. A. · 5 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies