N. V. D. Weide

Prediction model for obtaining spermatozoa with testicular sperm extraction in men with non-obstructive azoospermia.

L. Ramos, M. van Wely, S. Repping, 2016, Human reproduction.

Univalent Enriched Categories and the Enriched Rezk Completion

N. V. D. Weide, 2024, ArXiv.

The Formal Theory of Monads, Univalently

N. V. D. Weide, 2022, FSCD.

Higher Inductive Types in Programming

Herman Geuvers, Niels van der Weide, Henning Basold, 2017, J. Univers. Comput. Sci..