Applicative Recursion and Nominal Licensing | MIT Press Journals & Magazine | IEEE Xplore