A decompilation of the pi-calculus and its application to termination
We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter.
We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter.
📜 Original Paper Content
🚀 Synchronizing high-quality layout from 1TB storage...