injectivity
ESPs
Théophile
Bastian
Winskel
github
tobast
Clairambault
Glynn
functor
iteratively
CCS
isomorphism
pre
https
acyclic
Hasse
games
PCF
Ghica
Murowski
Murawski
interleavings
LTS
poset
bicategory
preorder
chktex
backend
Javascript
frontend