Anthony Bordg - Author Profile

Edit Profile

Bordg, Anthony

Author ID:	bordg.anthony
Published as:	Bordg, Anthony
Homepage:	https://sites.google.com/site/anthonybordg/
External Links:	MGP · ORCID · Google Scholar · ResearchGate · dblp · IdRef · theses.fr

Documents Indexed:	6 Publications since 2019
	1 Further Contribution
Reviewing Activity:	1 Review
Co-Authors:	4 Co-Authors with 2 Joint Publications
	84 Co-Co-Authors

all top 5

4	single-authored
1	Aczel, Peter
1	Ahrens, Benedikt
1	Altenkirch, Thorsten
1	Angiuli, Carlo
1	Avigad, Jeremy
1	Awodey, Steve
1	Barras, Bruno
1	Bauer, Andrej
1	Bertot, Yves
1	Bezem, Marc
1	Brunerie, Guillaume
1	Cohen, Cyril
1	Constable, Robert Lee
1	Coquand, Thierry
1	Curien, Pierre-Louis
1	Dybjer, Peter
1	Finster, Eric
1	Gambino, Nicola
1	Garner, Richard
1	Gonthier, Georges
1	Grayson, Daniel Richard
1	Hales, Thomas Callister
1	Harper, Robert
1	He, Yijun
1	Herbelin, Hugo
1	Hofmann, Martin
1	Hofstra, Pieter J. W.
1	Hötzel Escardó, Martín
1	Hou (Favonia), Kuen-Bang
1	Joyal, André
1	Kapulkin, Krzysztof
1	Kock, Joachim
1	Kraus, Nicolai
1	Lachnitt, Hanna
1	Li, Nuo
1	Li, Wenda
1	Licata, Dan
1	Lumsdaine, Peter LeFanu
1	Luo, Zhaohui
1	Mahboubi, Assia
1	Martin-Löf, Per
1	Melikhov, Sergey Aleksandrovich
1	Nahas, Michael
1	Palmgren, Erik
1	Paulson, Lawrence Charles
1	Pelayo, Alvaro
1	Polonsky, Andrew
1	Riehl, Emily
1	Rijke, Egbert
1	Scott, Dana Stewart
1	Scott, Philip J.
1	Shulman, Michael A.
1	Sojakova, Kristina
1	Solov’ëv, Sergeĭ Vladimirovich
1	Sozeau, Matthieu
1	Spitters, Bas
1
1	Van den Berg, Benno
1	Voevodskiĭ, Vladimir Aleksandrovich
1	Warren, Michael Alton
1	Zeilberger, Noam

1	The Mathematical Intelligencer
1	Journal of Automated Reasoning
1	Experimental Mathematics
1	Applied Categorical Structures
1	Theory and Applications of Categories

all top 5

5	Mathematical logic and foundations (03-XX)
4	Category theory; homological algebra (18-XX)
2	Algebraic topology (55-XX)
2	Computer science (68-XX)
1	History and biography (01-XX)
1	Algebraic geometry (14-XX)
1	Quantum theory (81-XX)