Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.

Doktorska dela (1)

1. Niels Frits Willem Voorneveld: Equality between programs with effects

Magistrska dela (2)

1. Anja Petković: Computing fixed points of monotone piecewise linear functions
2. Severin Mejak: Toposni modeli principov teorije množic

Diplomska dela (2)

1. Boštjan Gec: Podatkovni tipi kot začetne algebre in končne koalgebre
2. Matej Jazbec: Primerjava teorije množic in teorije tipov kot temeljev matematike

Druga dela (1)

1. Alex Simpson, Niels Voorneveld: Behavioural equivalence via modalities for algebraic effects