Personal profile

Research interests

Programming languages, type theory, logic, semantics, proofs, category theory and its applications

Structured keywords and research groupings

  • Programming Languages


Dive into the research topics where Alex Kavvos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or