Andr´as Kov´acs
Category: New Type Theories
Andrej Bauer and Philipp G. Haselwarter
Roberta Bonacina and Benedikt Ahrens
Christian Williams and Michael Stay
Conor Mc Bride and Fredrik Nordvall Forsberg
Andr´as Kov´acs
Andrej Bauer and Philipp G. Haselwarter
Roberta Bonacina and Benedikt Ahrens
Christian Williams and Michael Stay
Conor Mc Bride and Fredrik Nordvall Forsberg