Two extensions of system F with (co)iteration and primitive (co)recursion principles
RAIRO-Theor. Inf. Appl., 43 4 (2009) 703-766
Published online: 01 September 2009
DOI: 10.1051/ita/2009015