bibliographer - Tom de Jong

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]

Domain theory in univalent foundations I: Directed complete posets and Scott's Dinfty Tom de Jong [github]

Domain theory in univalent foundations II: Continuous and algebraic domains Tom de Jong Martín Høtzel Escardó [github]

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

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

[show logs] [hide logs]