FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
HOTT/UF ABSTRACTS: AUTHOR INDEX
Shortcuts: ABCDFHMNPSUW
A
Altenkirch, Thorsten
Angiuli, Carlo
B
Birkedal, Lars
Buchholtz, Ulrik
C
Cavallo, Evan
Clouston, Ranald
D
Devriese, Dominique
F
Faber, Eric
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
S
Sato, Genki
Spitters, Bas
Sterling, Jonathan
U
Uemura, Taichi
W
Weinberger, Jonathan
Wellen, Felix