Two extensions of system F with (co)iteration and primitive (co)recursion principlesFavio Ezequiel Miranda-PereaRAIRO-Theor. Inf. Appl., 43 4 (2009) 703-766DOI: https://doi.org/10.1051/ita/2009015