FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Boisseau, Guillaume	Profunctor Optics and the Yoneda Lemma
G
Gibbons, Jeremy	Profunctor Optics and the Yoneda Lemma
H
Hedges, Jules	Backward induction for repeated games
M
Marsden, Dan	Some No-Go Theorems for Distributive Laws (extended abstract)
McBride, Conor	Everybody's Got To Be Somewhere
P
Pope, Jeremy	Formalizing Constructive Quantifier Elimination in Agda
R
Remy, Didier	Ornamentation put into practice in ML
Rivas, Exequiel	Relating Idioms, Arrows and Monads from Monoidal Adjunctions
V
von Glehn, Tamara	Polynomial models of type theory
Z
Zwart, Maaike	Some No-Go Theorems for Distributive Laws (extended abstract)

Disclaimer | Powered by EasyChair Smart Program