• names -> de Bruijn -> names
Might fail, but if it doesn't it will give you back the same process.
• de Bruijn -> names -> de Bruijn
Might give you back a different process, but it will always succeed.
Conversation
What do you mean when you say 'process' here?
1
Sorry, just any kind of term, it's just that I'm doing pi calculus
2
1
Replying to
Oh, right, np! Why does converting back to names give a different term/process?
Replying to
Going from de Bruin to name you lose information: names might be shadowed. However, you are guaranteed to build a well-scoped process.
1
Ahh right - is it possible to handle this in the conversion? Like, I try to handle shadowing in my core-to-surface language translation pass (core language uses de Bruijn, surface language uses names). I could be doing something wrong though. 😅
1
1
Show replies