FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: ACDFGHJLMOPTW
A
Abramsky, Samson
TBA
Alcolei, Aurore
Resource-Tracking Concurrent Games
C
Clairambault, Pierre
Making parallel-or deterministic again: intentional full abstraction for por
A definable game semantics for the linear quantum lambda-calculus
Resource-Tracking Concurrent Games
D
Dal Lago, Ugo
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens
De Visme, Marc
A definable game semantics for the linear quantum lambda-calculus
F
Faggian, Claudia
The Geometry of Parallelism: Probabilistic and Quantum Effects
G
Ghica, Dan
How to denotational an operational semantics
H
Hasuo, Ichiro
Coalgebras and Higher-Order Computation: a GoI Approach
Hirschowitz, Tom
What's in a game?
J
Jagadeesan, Radha
"Operational'' Game Semantics
L
Laird, James
Games and the Lambda Cube
Laurent, Olivier
Resource-Tracking Concurrent Games
Lenisa, Marina
Games, Geometry of Interaction, Reversible Computations, Lambda Calculus
Levy, Paul
Game semantics: from call-by-push-value and CPS to coalgebra
Longley, John
Characterizing observational equivalence for PCF terms within richer languages
M
Malacaria, Pasquale
Some reflections on algorithmic game semantics
McCusker, Guy
Incomplete information and uniformity in game semantics
Melliès, Paul-André
Asynchronous games fifteen years later
Murawski, Andrzej
Automata Theory and Game Semantics
O
Ong, Luke
Strategies as sheaves on plays
P
Paquet, Hugo
Continuous probability distributions in concurrent games
T
Tsukada, Takeshi
Generalised Species of Plays
Tzevelekos, Nikos
Game Semantics 25 years on: from PCF to Java and C
W
Winskel, Glynn
Probabilistic strategies
A definable game semantics for the linear quantum lambda-calculus
Winskel, Glynn
Continuous probability distributions in concurrent games