All Stories

  1. A theoretical framework for the semantics of formal languages based on category theory.

    Article • Proceedings of the ACM on Programming Languages, January 2020, ACM (Association for Computing Machinery)

    Marco Maggesi