home
authors
Authors
A
Aaron Stump
Alex Simpson
Ambrus Kaposi
Anders Kock
Anders Mörtberg
Andreas Abel
Andrej Bauer
Andrew Swan
András Kovács
B
Bart Jacobs
Bassel Mannaa
Benedikt Ahrens
Benno van_den_Berg
C
Carlo Angiuli
Chris Kapulkin
Christian Sattler
D
Daniel Gratzer
Daniel Murfet
David Fernández-Duque
David Michael_Roberts
David Spivak
Denis Firsov
Dominic Orchard
E
Emily Riehl
Evan Cavallo
F
Filippo Bonchi
Francesco Dagnino
Fredrik Nordvall_Forsberg
H
Helle Hvid_Hansen
Herman Geuvers
Hugo Luiz_Mariano
I
Ieke Moerdijk
J
Jakob von_Raumer
Jan Rutten
Joachim Kock
Jonathan Sterling
Jonathan Weinberger
Jörg Endrullis
L
Luis Scoccola
M
Marcelo Fiore
Matija Pretnar
Michael Shulman
N
Neil Ghani
Niccolò Veltri
Nicola Gambino
Nicolai Kraus
Nima Rasekh
Noam Zeilberger
Norihiro Yamada
O
Ohad Kammar
P
Paige Randall_North
Paolo Capriotti
Patricia Johann
Paul-André Melliès
Pawel Sobocinski
Peng Fu
Peter LeFanu_Lumsdaine
Prakash Panangaden
R
Ralph Matthes
Rasmus Ejlers_Møgelberg
Robert Harper
Robin Houston
Ross Street
S
Samson Abramsky
Shin-ya Katsumata
Stepan Kuznetsov
Steve Awodey
T
Taichi Uemura
Tarmo Uustalu
Thierry Coquand
Thorsten Altenkirch
Tikhon Pshenitsyn
Tobias Fritz
U
Urs Schreiber
W
Willem Heijltjes
Y
Yannick Forster