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

From MaRDI portal
Publication:3653093

DOI10.1051/ita/2009015zbMath1197.03013OpenAlexW2112269051MaRDI QIDQ3653093

Favio E. Miranda-Perea

Publication date: 18 December 2009

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92934






Cites Work


This page was built for publication: Two extensions of system F with (co)iteration and primitive (co)recursion principles