An exact correspondence between a typed pi-calculus and polarised proof-nets

MLA

Olivier Laurent, and Kohei Honda. “An Exact Correspondence between a Typed Pi-Calculus and Polarised Proof-Nets.” Theoretical Computer Science, vol. 411, no. 22–24, May 2010, pp. 2223–38. EBSCOhost, https://doi.org/10.1016/j.tcs.2010.01.028.

APA

Olivier Laurent, & Kohei Honda. (2010). An exact correspondence between a typed pi-calculus and polarised proof-nets. Theoretical Computer Science, 411(22–24), 2223–2238. https://doi.org/10.1016/j.tcs.2010.01.028

Chicago

Olivier Laurent, and Kohei Honda. 2010. “An Exact Correspondence between a Typed Pi-Calculus and Polarised Proof-Nets.” Theoretical Computer Science 411 (22–24): 2223–38. doi:10.1016/j.tcs.2010.01.028.