Andrea Laretto


Hello, I'm Andrea! I'm a third year PhD student at Tallinn University of Technology in the Logic and Semantics Group, under the supervision of Niccolò Veltri and Fosco Loregian.
I'm currently working on directed type theory with 1-categories using dinatural transformations.

Preprints

Publications

Theses

Seminars

Misc