bibliographer - Nicolai Kraus

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm [github]

Set-Theoretic and Type-Theoretic Ordinals Coincide Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu [github]

Generalizations of Hedberg's Theorem Nicolai Kraus Martín Escardó Thierry Coquand Thorsten Altenkirch [github]

Univalent higher categories via complete Semi-Segal types Paolo Capriotti Nicolai Kraus [github]

Coherence via Well-Foundedness Nicolai Kraus Jakob von Raumer [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]