Interpreting Functions as $π$-Calculus Processes: a Tutorial TeX Export

@techreport{citeulike:1369450, abstract = {This paper is concerned with the relationship between \λ-calculus and \π-calculus. The \λ-calculus talks about functions and their applicative behaviour. This contrasts with the \π-calculus, that talks about processes and their interactive behaviour. Application is a special form of interaction, and therefore functions can be seen as a special form of processes. We study how the functions of the \λ-calculus (the computable functions) can be represented as \π-calculus...}, author = {Sangiorgi, Davide}, citeulike-article-id = {1369450}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/sangiorgi99interpreting.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/sangiorgi99interpreting.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/sangiorgi99interpreting.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/sangiorgi99interpreting.html}, keywords = {pi-calculus}, number = {RR-3470}, posted-at = {2008-02-14 13:09:22}, priority = {2}, title = {Interpreting Functions as \$\pi\$-Calculus Processes: a Tutorial}, url = {http://citeseer.ist.psu.edu/sangiorgi99interpreting.html}, year = {1998} }

TY - RPRT ID - citeulike:1369450 L3 - citeulike-article-id:1369450 N2 - This paper is concerned with the relationship between λ-calculus and π-calculus. The λ-calculus talks about functions and their applicative behaviour. This contrasts with the π-calculus, that talks about processes and their interactive behaviour. Application is a special form of interaction, and therefore functions can be seen as a special form of processes. We study how the functions of the λ-calculus (the computable functions) can be represented as π-calculus... IS - RR-3470 TI - Interpreting Functions as $\pi$-Calculus Processes: a Tutorial KW - pi-calculus AU - Sangiorgi, Davide PY - 1998/// UR - http://citeseer.ist.psu.edu/sangiorgi99interpreting.html ER -