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 |