A tier-based typed programming language characterizing Feasible Functionals.

Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Pchoux

Browse the full LICS paper archive.