Functions as Processes: Termination and the $\lambda\mu\widetilde{\mu}$ -Calculus

Trustworthly Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15640-3_5 ◽

2010 ◽

pp. 73-86 ◽

Cited By ~ 2

Author(s):

Matteo Cimini ◽

Claudio Sacerdoti Coen ◽

Davide Sangiorgi

Download Full-text