In process calculi that descend from the pi-calculus, the distinction between names and processes is essential. On the other hand, names are often used as references to processes. In this talk I investigate a process calculus, inspired by recursion theory and by work by Meredith. The process calculus has a notion of explicit quoting, where the distinction between names and processes disappears. This has interesting consequences for the semantic theory, for encodings and for session type disciplines.