Nicolai Kraus

Cited by

	All	Since 2018
Citations	782	565
h-index	14	12
i10-index	17	13

140

105

201320142015201620172018201920202021202220236 23 45 39 96 80 76 106 102 79 122

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Paolo CapriottiPostdoc, Technische Universität DarmstadtVerified email at mathematik.tu-darmstadt.de
Christian SattlerChalmers University of TechnologyVerified email at chalmers.se
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk
Danil AnnenkovAarhus UniversityVerified email at di.ku.dk
Nils Anders DanielssonResearcher, Chalmers University of Technology and University of GothenburgVerified email at cse.gu.se
Chuangjie XuStatic Analysis Scientist, SonarSourceVerified email at sonarsource.com
Jakob von RaumerKarlsruhe Institute of TechnologyVerified email at von-raumer.de
Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
Ambrus KaposiEötvös Loránd University, BudapestVerified email at inf.elte.hu
András KovácsEötvös Loránd UniversityVerified email at inf.elte.hu
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Andrea VezzosiPostdoc, IT University CopenhagenVerified email at itu.dk
Gun PinyoUniversity of NottinghamVerified email at nottingham.ac.uk
Joshua ChenUniversity of NottinghamVerified email at joshchen.io
Benedikt AhrensDelft University of TechnologyVerified email at tudelft.nl

Nicolai Kraus

University of Nottingham

Verified email at nottingham.ac.uk - Homepage

Homotopy Type Theory Univalent Foundations Type Theory Category Theory Higher-Dimensional Category Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Homotopy Type Theory: Univalent Foundations of Mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...	139*	2013
Two-level type theory and applications D Annenkov, P Capriotti, N Kraus, C Sattler Mathematical Structures in Computer Science, 1-56, 2023	86*	2023
Quotient Inductive-Inductive Types. T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg FoSSaCS, 293-310, 2018	73	2018
Extending Homotopy Type Theory with Strict Equality T Altenkirch, P Capriotti, N Kraus 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) 62 (10 …, 2016	62	2016
Partiality, revisited T Altenkirch, NA Danielsson, N Kraus International Conference on Foundations of Software Science and Computation …, 2017	61	2017
Notions of Anonymous Existence in Martin-Löf Type Theory N Kraus, M Escardó, T Coquand, T Altenkirch Logical Methods in Computer Science 13 (1), 2017	39*	2017
The general universal property of the propositional truncation N Kraus postproceedings of Types for Proofs and Programs (TYPES), 2014	39	2014
Constructions with non-recursive higher inductive types N Kraus ACM/IEEE Symposium on Logic in Computer Science (LICS), 595--604, 2016	29	2016
Univalent higher categories via complete semi-segal types P Capriotti, N Kraus POPL - Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	28	2017
Generalizations of Hedberg’s Theorem N Kraus, M Escardó, T Coquand, T Altenkirch Typed Lambda Calculi and Applications (TLCA'13) 7941, 173-188, 2013	28	2013
Truncation levels in homotopy type theory N Kraus University of Nottingham, 2015	24	2015
Higher homotopies in a hierarchy of univalent universes N Kraus, C Sattler ACM Transactions on Computational Logic (TOCL) 16 (2), 18, 2015	23*	2015
Free higher groups in homotopy type theory N Kraus, T Altenkirch LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in …, 2018	21	2018
Path spaces of higher inductive types in homotopy type theory N Kraus, J von Raumer 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019	19	2019
Shallow embedding of type theory is morally correct A Kaposi, A Kovács, N Kraus International Conference on Mathematics of Program Construction, 329-365, 2019	11	2019
Space-valued diagrams, type-theoretically N Kraus, C Sattler arXiv preprint arXiv:1704.04543, 2017	11	2017
Internal∞-categorical models of dependent type theory: Towards 2LTT eating HoTT N Kraus 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021	10	2021
Connecting constructive notions of ordinals in homotopy type theory N Kraus, FN Forsberg, C Xu arXiv preprint arXiv:2104.02549, 2021	9	2021
Coherence via well-foundedness: Taming set-quotients in homotopy type theory N Kraus, J Von Raumer Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020	9	2020
Functions out of Higher Truncations P Capriotti, N Kraus, A Vezzosi 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 359-373, 2015	9	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors