WIR2013 Talks

Closure operators, equivalences, models:

Orthogonality and weak convergence:

overlap stuff for FSCD 2016:

overlap variation for IWC 2016:
consistency, Sannella workshop 2017:
consistency, IWC 2017