7 citations · 29 across the 9 of their papers we have counts for
11 papers
Quantalic lambda-calculus and additive disjunction
Renato Neves, Bruna Salgado
Motivated by the need to reason about case statements quantitatively, we extend quantalic linear lambda-calculus with additive disjunction. We show that the resulting equational sy…
A Complete V-Equational System for Graded lambda-Calculus
Fredrik Dahlqvist, Renato Neves
Modern programming frequently requires generalised notions of program equivalence based on a metric or a similar structure. Previous work addressed this challenge by introducing th…
The syntactic side of autonomous categories enriched over generalised metric spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…
An Internal Language for Categories Enriched over Generalised Metric Spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…
Implementing Hybrid Semantics: From Functional to Imperative
Sergey Goncharov, Renato Neves, José Proença
Hybrid programs combine digital control with differential equations, and naturally appear in a wide range of application domains, from biology and control theory to real-time softw…
An Adequate While-Language for Hybrid Computation
Sergey Goncharov, Renato Neves
Hybrid computation combines discrete and continuous dynamics in the form of an entangled mixture inherently present both in various natural phenomena, and in applications ranging f…
A Semantics for Hybrid Iteration
Sergey Goncharov, Julian Jakob, Renato Neves
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in t…
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
Fredrik Dahlqvist, Renato Neves
Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming construct…
Limits in Categories of Vietoris Coalgebras
Dirk Hofmann, Renato Neves, Pedro Nora
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topologic…
Asymmetric combination of logics is functorial: A survey
Renato Neves, Alexandre Madeira, Luis S. Barbosa +1
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development o…
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, Dirk Hofmann +1
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are…