FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
adjunction	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
Agda	Formalizing Constructive Quantifier Elimination in Agda
applicative functor	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
arrow	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
C
category theory	Some No-Go Theorems for Distributive Laws (extended abstract)
constructive	Formalizing Constructive Quantifier Elimination in Agda
D
decidability	Formalizing Constructive Quantifier Elimination in Agda
dependently typed programming	Everybody's Got To Be Somewhere
distributive laws	Some No-Go Theorems for Distributive Laws (extended abstract)
G
game theory	Backward induction for repeated games
H
hereditary substitution	Everybody's Got To Be Somewhere
L
lens	Profunctor Optics and the Yoneda Lemma
M
monad	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
Monads	Some No-Go Theorems for Distributive Laws (extended abstract)
monoid	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
monoidal category	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
N
no-go theorem	Some No-Go Theorems for Distributive Laws (extended abstract)
O
order-preserving embeddings	Everybody's Got To Be Somewhere
P
prism	Profunctor Optics and the Yoneda Lemma
profunctor	Profunctor Optics and the Yoneda Lemma
R
repeated games	Backward induction for repeated games
S
selection functions	Backward induction for repeated games
selection monad	Backward induction for repeated games
semantics	Formalizing Constructive Quantifier Elimination in Agda
successor	Formalizing Constructive Quantifier Elimination in Agda
syntax with binding	Everybody's Got To Be Somewhere
Y
yoneda	Profunctor Optics and the Yoneda Lemma

Disclaimer | Powered by EasyChair Smart Program