Showing 1 - 2 results of 2 for search 'Tom de Jong', query time: 0.02s
Refine Results
-
1
On Small Types in Univalent Foundations by Tom de Jong, Martín Hötzel Escardó
Published 2023-05-01
Article -
2
The Sierpinski Object in the Scott Realizability Topos by Tom de Jong, Jaap van Oosten
Published 2020-08-01
Article