Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041

PhD abstractsHutton, GrahamJournal of functional programming2017 / art. e25, p. 1-18 https://doi.org/10.1017/s0956796817000181