Peter Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch. Small Induction Recursion. In Masahito Hasegawa, editor, Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Volume 7941 of Lecture Notes in Computer Science, pages 156-172, Springer, 2013. [doi]
Abstract is missing.