Andreas Abel 0001, Ralph Matthes. Primitive Recursion for Rank-2 Inductive Types. In Zoltán Ésik, Igor Walukiewicz, editors, FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. pages 1-3, University of Warsaw, 2003. [doi]
Abstract is missing.