Simon Castellan

From MaRDI portal
Person:283742

Available identifiers

zbMath Open castellan.simonMaRDI QIDQ283742

List of research outcomes





PublicationDate of PublicationType
Disentangling parallelism and interference in game semantics2024-11-12Paper
The mays and musts of concurrent strategies2024-10-01Paper
Probabilistic programming inference via intensional semantics2023-11-24Paper
Categories with Families: Unityped, Simply Typed, and Dependently Typed2021-12-08Paper
The concurrent game semantics of Probabilistic PCF2021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q51113082020-05-26Paper
Distributed Strategies Made Easy2020-05-26Paper
Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)2020-01-28Paper
https://portal.mardi4nfdi.de/entity/Q49672372019-07-03Paper
Thin Games with Symmetry and Concurrent Hyland-Ong Games2019-03-18Paper
Non-angelic concurrent game semantics2018-07-17Paper
Symmetry in concurrent games2018-04-23Paper
The Parallel Intensionally Fully Abstract Games Model of PCF2018-04-23Paper
Causality vs. interleavings in concurrent game semantics2018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q45968012017-12-11Paper
Games and Strategies as Event Structures2017-10-12Paper
https://portal.mardi4nfdi.de/entity/Q52778362017-07-12Paper
Strategies as concurrent processes2016-05-13Paper

Research outcomes over time

This page was built for person: Simon Castellan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:283742&oldid=6618365"
Powered by MediaWiki