Benedikt Ahrens
发表
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
P. Lumsdaine,
2017,
FSCD.
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Benedikt Ahrens,
Régis Spadotti,
2014,
ArXiv.
Benedikt Ahrens,
Régis Spadotti,
2014,
TYPES.
Benedikt Ahrens,
Anders Mörtberg,
2016,
ICMS.
Benedikt Ahrens,
Julianna Zsido,
2010,
ArXiv.
Benedikt Ahrens,
2008
.
Vladimir Voevodsky,
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2018,
Log. Methods Comput. Sci..
Benedikt Ahrens,
2015,
J. Formaliz. Reason..
Benedikt Ahrens,
2019,
Log. Methods Comput. Sci..
Benedikt Ahrens,
2016,
Math. Struct. Comput. Sci..
Benedikt Ahrens,
Julianna Zsido,
2011,
J. Formaliz. Reason..
Benedikt Ahrens,
Paolo Capriotti,
Régis Spadotti,
2015,
TLCA.
Benedikt Ahrens,
B. Ahrens,
2011,
Log. Methods Comput. Sci..
André Hirschowitz,
Marco Maggesi,
Ambroise Lafont,
2018,
CSL.
Marco Maggesi,
Ambroise Lafont,
Benedikt Ahrens,
2020,
Proc. ACM Program. Lang..
Ralph Matthes,
Benedikt Ahrens,
S. Schoenfelder,
2009,
Encyclopedia of Biometrics.
Vladimir Voevodsky,
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2017,
CSL.
Michael Shulman,
Benedikt Ahrens,
Krzysztof Kapulkin,
2013,
Mathematical Structures in Computer Science.
Marco Maggesi,
Benedikt Ahrens,
Niels van der Weide,
2019,
FSCD.
Benedikt Ahrens,
2012,
WoLLIC.
Ralph Matthes,
Benedikt Ahrens,
Anders Mörtberg,
2018,
Journal of Automated Reasoning.
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2017,
FSCD.
André Hirschowitz,
Marco Maggesi,
Ambroise Lafont,
2019,
FSCD.
Benedikt Ahrens,
Niels van der Weide,
Paige Randall North,
2022
.
Ralph Matthes,
Benedikt Ahrens,
Anders Mörtberg,
2022,
CPP.
Simon Huber,
Benedikt Ahrens,
Anders Mörtberg,
2021,
Mathematical Structures in Computer Science.
Marco Maggesi,
Ambroise Lafont,
Benedikt Ahrens,
2021,
Log. Methods Comput. Sci..
Michael Shulman,
Benedikt Ahrens,
Dimitris Tsementzis,
2021,
ArXiv.
Benedikt Ahrens,
Egbert Rijke,
Paige Randall North,
2021
.