ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
STAF 2023 (series) / ICGT 2023 (series) / Andrea Laretto

Registered user since Mon 4 Jul 2022

Name:Andrea Laretto
Country:Estonia
Affiliation:Tallinn University of Technology
Personal website: https://iwilare.com
X (Twitter): https://x.com/iwilare
GitHub: https://github.com/iwilare
Research interests:Type theory, category theory

Contributions

Show activities from other conferences

STAF 2023-profile
View general profile