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

2023

ICGT

Presenter of Specification and Verification of a Linear-time Temporal Logic for Graph Transformation within the Research Papers-track