Authors

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