TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |