Long-Term Values in Markov Decision Processes, (Co)Algebraically. - Frank M. V. Feys; Helle Hvid Hansen; Lawrence S. Moss (CMCS, 2018)

Arrow's Theorem Through a Fixpoint Argument. - Frank M. V. Feys; Helle Hvid Hansen (TARK, 2019)