Nicolai Kraus

Cited by

	All	Since 2018
Citations	721	493
h-index	14	12
i10-index	15	12

120

201320142015201620172018201920202021202220236 22 46 43 104 81 75 106 91 84 56

Public access

View all

8 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
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
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
Danil AnnenkovAarhus UniversityVerified email at di.ku.dk
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
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk
Ambrus KaposiEötvös Loránd University, BudapestVerified 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
András KovácsEötvös Loránd UniversityVerified email at inf.elte.hu
Gun PinyoUniversity of NottinghamVerified email at nottingham.ac.uk
Benedikt AhrensDelft University of TechnologyVerified email at tudelft.nl
Joshua ChenUniversity of NottinghamVerified email at joshchen.io

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, ...	133*	2013
Two-Level Type Theory and Applications D Annenkov, P Capriotti, N Kraus, C Sattler arXiv preprint arXiv:1705.03307, 2017	70	2017
Quotient Inductive-Inductive Types. T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg FoSSaCS, 293-310, 2018	68	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	57	2016
Partiality, revisited T Altenkirch, NA Danielsson, N Kraus International Conference on Foundations of Software Science and Computation …, 2017	56	2017
The general universal property of the propositional truncation N Kraus postproceedings of Types for Proofs and Programs (TYPES), 2014	38	2014
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	36*	2017
Constructions with non-recursive higher inductive types N Kraus ACM/IEEE Symposium on Logic in Computer Science (LICS), 595--604, 2016	28	2016
Generalizations of Hedberg’s Theorem N Kraus, M Escardó, T Coquand, T Altenkirch Typed Lambda Calculi and Applications (TLCA'13) 7941, 173-188, 2013	27	2013
Truncation levels in homotopy type theory N Kraus University of Nottingham, 2015	25	2015
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	24	2017
Higher homotopies in a hierarchy of univalent universes N Kraus, C Sattler ACM Transactions on Computational Logic (TOCL) 16 (2), 18, 2015	22*	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	19	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	16	2019
Space-valued diagrams, type-theoretically N Kraus, C Sattler arXiv preprint arXiv:1704.04543, 2017	10	2017
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
Connecting constructive notions of ordinals in homotopy type theory N Kraus, FN Forsberg, C Xu arXiv preprint arXiv:2104.02549, 2021	8	2021
Functions out of Higher Truncations P Capriotti, N Kraus, A Vezzosi 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 359-373, 2015	8	2015
Shallow embedding of type theory is morally correct A Kaposi, A Kovács, N Kraus Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019	7	2019
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	6	2021

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