From 11:00 to 12:00 on Thursday, May 28, the PLSL reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.

https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/

#PLSL #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming

From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLSL reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi", Theoretical Computer Science, Volume 167, Issues 1–2, 1996, Pages 235-274.

https://plsl.acp.sdu.dk/posts/2025-12-15-pi-calculus-internal-mobility-and-agent-passing-calculi-part-2/

#PLSL #programmingLanguages #semantics #concurrency #functionalProgramming #piCalculus

Pict: A Programming Language based on Pi-Calculus by Pierce and Turner

I come back to look at the Pict Language
I need to refresh on Pi-Calculus #picalculus . I liked some of this syntax

https://direct.mit.edu/books/edited-volume/2033/chapter-abstract/55172/Pict-A-Programming-Language-Based-on-the-Pi?redirectedFrom=PDF

・a(x).P - Wait for reading x on the channel a, then having received the value, behave as P.

・ā<x>.P - Wait to send the value along with the channel a then, after x is accepted by some processes, behavior like P

https://www.cs.cmu.edu/~wing/publications/Wing02a.pdf

#picalculus