|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Altenkirch, Thorsten | | Angiuli, Carlo | | B | Birkedal, Lars | | Buchholtz, Ulrik | | C | Cavallo, Evan | | Clouston, Ranald | | D | Devriese, Dominique | | E | Escardó, Martín | | H | Harper, Robert | | Helfer, Joseph | | Herbelin, Hugo | | Hou Favonia, Kuen-Bang | | M | Mannaa, Bassel | | Morehouse, Edward | | Møgelberg, Rasmus | | N | Newstead, Clive | | Nuyts, Andreas | | P | Petrakis, Iosif | | Pitts, Andrew | | R | Rodin, Andrei | | S | Sato, Genki | | Spitters, Bas | | Sterling, Jonathan | | U | Uemura, Taichi | | W | Weinberger, Jonathan | | Wellen, Felix | |
|
|