Andrea Laretto


Hello, I'm Andrea! I'm a second 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 interested in type theory, category theory, λ-calculus, programming languages. I love programming/proving in Agda, Rust, and Haskell.

Preprints

Publications

Theses

Seminars

Misc