Displaying similar documents to “A complete characterization of primitive recursive intensional behaviours”