Área de investigación: Ciencia y Tecnologías Físicas, Matemáticas, Robótica y Computación

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

Integrantes: