#plsl — Public Fediverse posts

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 11:00 to 12:00 on Thursday, April 30, the PLSL reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.

https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/

#PLSL #syntax #programmingLanguages #categoryTheory

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/

#PLSL #algebraicEffects #effectSystems #semantics #logic

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