Bibliography of the person, including all types of documents, not only theses.

PhD theses (1)

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

MSc theses (2)

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

BSc theses (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

Other documents (1)

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