Registered user since Mon 1 Mar 2021

Name:Carlos Tomé Cortiñas
Country:Sweden
Affiliation:Chalmers University of Technology

Contributions

ICFP 2022 Author of Normalization for Fitch-style Modal Calculi within the ICFP Papers and Events-track