uma's book of adventures@typer_uma·Jul 2, 2020• 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.27
Brendan Zabarauskas@brendanzabReplying to @typer_umaWhat do you mean when you say 'process' here?12:50 AM · Jul 2, 2020·Twitter Web App
uma's book of adventures@typer_uma·Jul 2, 2020Replying to @brendanzabSorry, just any kind of term, it's just that I'm doing pi calculus21
