bibliographer - Glynn Winskel

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Concurrent Games over Relational Structures: The Origin of Game Comonads Yoàv Montacute Glynn Winskel [github]

Making Concurrency Functional Glynn Winskel [github]

Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Glynn Winskel [github]

Borel Determinacy of Concurrent Games Julian Gutierrez Glynn Winskel [github]

A Linear Metalanguage for Concurrency Glynn Winskel [github]

Linearity and nonlinearity in distributed computation Glynn Winskel [github]

Models for Concurrency Glynn Winskel Mogens Nielsen [github]

Event structures Glynn Winskel [github]

An introduction to event structures Glynn Winskel [github]

A note on model checking the modal nu-calculus Glynn Winskel [github]

A Note on Model Checking the Modal nu-Calculus Glynn Winskel [github]

A Higher-Order Calculus for Categories Mario Cáccamo Glynn Winskel [github]

Nominal Domain Theory for Concurrency David Turner Glynn Winskel [github]

Continuous Probability Distributions in Concurrent Games Hugo Paquet Glynn Winskel [github]

Prime algebraicity Glynn Winskel [github]

Distributing probability over non-determinism DANIELE VARACCA GLYNN WINSKEL [github]

The concurrent game semantics of Probabilistic PCF Simon Castellan Pierre Clairambault Hugo Paquet Glynn Winskel [github]

Library Size: 13G (17 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]