Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Renato Jorge Neves

2021

An Internal Language for Categories Enriched over Generalised Metric Spaces

Authors
Dahlqvist, F; Neves, R;

Publication
CoRR

Abstract

2019

An Adequate While-Language for Hybrid Computation

Authors
Goncharov, S; Neves, R;

Publication
CoRR

Abstract

2018

A Semantics for Hybrid Iteration

Authors
Goncharov, S; Jakob, J; Neves, R;

Publication
CoRR

Abstract

2018

Compositional semantics for new paradigms: probabilistic, hybrid and beyond

Authors
Dahlqvist, F; Neves, R;

Publication
CoRR

Abstract

  • 6
  • 6