
Renato Jorge Neves
Investigador Sénior
Publicações
THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
Dahlqvist, F;Neves, R;
2023
LOGICAL METHODS IN COMPUTER SCIENCE
A Complete V-Equational System for Graded lambda-Calculus
Dahlqvist, F;Neves, R;
2023
CoRR
The syntactic side of autonomous categories enriched over generalised metric spaces
Dahlqvist, F;Neves, R;
2023
Log. Methods Comput. Sci.
An Internal Language for Categories Enriched over Generalised Metric Spaces
Dahlqvist, F;Neves, R;
2022
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference).

