Concepedia

Nicolai Kraus

NK

6

Publications

107

Citations

6

H-Index

2015

Active since

Affiliations

University of Nottingham(Current)

Nicolai Kraus is an author at University of Nottingham specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2015–2023

6

Publications

6

Two-level type theory and applications

Danil Annenkov, Paolo Capriotti, Nicolai Kraus · Mathematical Structures in Computer Science · 2023 · 23 citations · Full text

Constructions with Non-Recursive Higher Inductive Types

Nicolai Kraus · 2016 · 20 citations · Full text

, , +8

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type

Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus · arXiv (Cornell University) · 2016 · 20 citations · Full text

Extending Homotopy Type Theory with Strict Equality

Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus · Nottingham ePrints (University of Nottingham) · 2016 · 17 citations · Full text

Notions of Anonymous Existence in Martin-Löf Type Theory

Nicolai Kraus, Thierry Coquand, Thorsten Altenkirch · arXiv (Cornell University) · 2016 · 14 citations · Full text

, , +9

Rows per page

1–5 of 6