Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por Renato Jorge Neves

    2021

    An Internal Language for Categories Enriched over Generalised Metric Spaces

    Autores
    Dahlqvist, F; Neves, R;

    Publicação
    CoRR

    Abstract

    2019

    An Adequate While-Language for Hybrid Computation

    Autores
    Goncharov, S; Neves, R;

    Publicação
    CoRR

    Abstract

    2018

    A Semantics for Hybrid Iteration

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

    Publicação
    CoRR

    Abstract

    2018

    Compositional semantics for new paradigms: probabilistic, hybrid and beyond

    Autores
    Dahlqvist, F; Neves, R;

    Publicação
    CoRR

    Abstract

    • 6
    • 6