1
TÍTULO: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
TYPE: Unpublished, PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.08473
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Sergey Goncharov; Renato Neves ; José Proença;
TYPE: Unpublished, PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2009.14322
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Sergey Goncharov; Renato Neves ; José Proença;
TYPE: Proceedings Paper, PUBLICAÇÃO: 2020, FONTE: Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, VOLUME: 12545
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: An Adequate While-Language for Hybrid Computation
AUTORES: Sergey Goncharov; Renato Neves ;
TYPE: Proceedings Paper, PUBLICAÇÃO: 2019, FONTE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019)
INDEXADO EM: WOS DBLP
NO MEU: DBLP
5
TÍTULO: An Adequate While-Language for Hybrid Computation PDF
AUTORES: Sergey Goncharov; Renato Neves ;
TYPE: Unpublished, PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1902.07684
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
6
TÍTULO: Limits in categories of Vietoris coalgebras
AUTORES: Dirk Hofmann; Renato Neves ; Pedro Nora;
TYPE: Article, PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
7
TÍTULO: A Semantics for Hybrid Iteration PDF
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
TYPE: Unpublished, PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01053
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
8
TÍTULO: A Semantics for Hybrid Iteration
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
TYPE: Proceedings Paper, PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
9
TÍTULO: Compositional semantics for new paradigms: probabilistic, hybrid and beyond PDF
AUTORES: Fredrik Dahlqvist; Renato Neves ;
TYPE: Unpublished, PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1804.04145
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
10
TÍTULO: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTORES: Dirk Hofmann; Renato Neves ; Pedro Nora;
TYPE: Article, PUBLICAÇÃO: 2018, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33
INDEXADO EM: Scopus WOS
Página 1 de 3. Total de resultados: 27.