2014. Functions, Proofs, Constructions, 21–23 February. The Reasoner. 8, 4 (Apr. 2014).