On Small Types in Univalent Foundations by Tom de Jong, Martín Hötzel Escardó

Get full text

The Sierpinski Object in the Scott Realizability Topos by Tom de Jong, Jaap van Oosten

Get full text

Static and Dynamic Ultrasound Imaging to Visualize the Bladder, Bladder Neck, Urethra, and Pelvic Floor in Children with Daytime Incontinence by Rogier Schroeder, Rogier Schroeder, Keetje de Mooij, Luitzen Groen, Pieter Dik, Caroline Kuijper, Aart Klijn, Tom de Jong, Tom de Jong

Get full text

Toward spatial justice: The spatial equity effects of a toll road in Cape Town, South Africa by Justin Tycho van Dijk, Stephan Krygsman, Tom de Jong

Get full text

Connect the dot: Computing feed-links for network extension by Boris Aronov, Kevin Buchin, Maike Buchin, Bart Jansen, Tom de Jong, Marc van Kreveld, Maarten Loffler, Jun Luo, Rodrigo I. Silveira, Bettina Speckmann

Get full text