#picalculus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #picalculus, aggregated by home.social.
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE 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/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE 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/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
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 PLUSLE 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.
#PLUSLE #programmingLanguages #semantics #concurrency #functionalProgramming #piCalculus
-
From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLUSLE 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.
#PLUSLE #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 -
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 -
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 -
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 -
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