Download citation

Two extensions of system F with (co)iteration and primitive (co)recursion principles

RAIRO-Theor. Inf. Appl., 43 4 (2009) 703-766
DOI: https://doi.org/10.1051/ita/2009015