FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACDGHLMNOPRSY
A
adjunction
Agda
applicative functor
arrow
C
category theory
constructive
D
Decidability
dependently typed programming
distributive laws
G
game theory
H
hereditary substitution
L
lens
M
monad
Monads
monoid
monoidal category
N
no-go theorem
O
order-preserving embeddings
P
prism
profunctor
R
repeated games
S
selection functions
selection monad
semantics
successor
syntax with binding
Y
yoneda