Hugo Paquet

From MaRDI portal
Person:2134836



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!

PublicationDate of PublicationType
Bi-invariance for uniform strategies on event structures2026-04-02Paper
From thin concurrent games to generalized species of structures2026-02-27Paper
Stabilized profunctors and stable species of structures
Logical Methods in Computer Science
2024-06-27Paper
A combinatorial approach to higher-order structure for polynomial functors2024-05-27Paper
Probabilistic programming inference via intensional semantics
Programming Languages and Systems
2023-11-24Paper
Strong pseudomonads and premonoidal bicategories2023-04-21Paper
Bi-invariance for Uniform Strategies on Event Structures2022-12-15Paper
scientific article; zbMATH DE number 7533341 (Why is no real title available?)2022-05-28Paper
Continuous probability distributions in concurrent games2022-05-03Paper
Bayesian strategies: probabilistic programs as generalised graphical models2021-10-18Paper
The concurrent game semantics of probabilistic PCF
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
2021-01-20Paper
Stabilized profunctors and stable species of structures
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Hugo Paquet