Renato Neves

MaRDI QIDQ1786566zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus	2026-04-02	Paper
An internal language for categories enriched over generalised metric spaces (available as arXiv preprint)	2024-04-10	Paper
The syntactic side of autonomous categories enriched over generalised metric spaces Logical Methods in Computer Science	2024-01-16	Paper
A semantics for hybrid iteration (available as arXiv preprint)	2021-08-04	Paper
Implementing hybrid semantics: from functional to imperative (available as arXiv preprint)	2021-07-08	Paper
Asymmetric combination of logics is functorial: a survey Recent Trends in Algebraic Development Techniques	2020-01-16	Paper
Hierarchical hybrid logic	2019-11-12	Paper
Limits in categories of Vietoris coalgebras Mathematical Structures in Computer Science	2019-03-12	Paper
Languages and models for hybrid automata: a coalgebraic perspective Theoretical Computer Science	2018-09-24	Paper
Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces	2018-06-07	Paper
Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces (available as arXiv preprint)	2018-06-07	Paper
Hybrid automata as coalgebras Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
Continuity as a computational effect Journal of Logical and Algebraic Methods in Programming	2016-12-15	Paper
An exercise on the generation of many-valued dynamic logics Journal of Logical and Algebraic Methods in Programming	2016-12-15	Paper
A dynamic logic for every season Lecture Notes in Computer Science	2016-04-01	Paper
Completeness and decidability results for hybrid(ised) logics Lecture Notes in Computer Science	2016-04-01	Paper
Hybridisation at work Algebra and Coalgebra in Computer Science	2013-09-13	Paper
A Complete V-Equational System for Graded lambda-Calculus (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Renato Neves