ACP SectionMay 7

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

Proofs as Processes. Propositions as sessions

In this session, we explore how the propositions-as-types paradigm extends to concurrency

PLSL
ACP SectionApr 22

From 11:00 to 12:00 on Thursday, April 30, the PLUSLE 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/

#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus

Abstract Syntax and Variable Binding

In which we discuss Fiore, Plotkin, and Turi's theory of abstract syntax.

PLSL
ACP SectionFeb 26

From 14:30 to 15:30 on Wednesday, March 18, the PLUSLE reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.

https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/

#PLUSLE #algebraicEffects #effectSystems #monads

Notions of Computation Determine Monads

In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.

PLUSLE
Stefano Volpe Feb 20
Q: Is @acp's PLUSLE reading group associated with PSSL, the Peripatetic Seminar on Sheaves and Logic happening next month?

A: No, but we are not the ones outsourcing web hosting to google sites, so PLUSLE won't be the one backing down first #PLUSLE
PLUSLE

Programming Languages, Universality, Semantics, Logic Exchange at the University of Southern Denmark

PLUSLE
BisafansFeb 12

Drop-Event mit Mega-Meditalis-ex in Pokémon-Sammelkartenspiel-Pocket gestartet

Über CPU-Kämpfe werden wieder einige besondere Promokarten erhältlich sein.

Zur News: https://news.bisafans.de/12452

#Event #Boreos #Trasla #Hydropi #Plusle #Missionen #MegaMeditalis #SammelkartenspielPocket #TCGPocket #DropEvent

ACP SectionJan 26

From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE 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/

#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages

An Introduction to Algebraic Effects and Handlers

In this session, we explore algebraic effects and handlers.

PLUSLE
Aoi_X_KaizakiJan 25
#Pokemon stuff animals together
#pikachu
#meowth
#treeko
#mew
#plusle
#minum
#snorlax
#poliwhirl
#togepi
Show threadMink of the EndJan 15

Timelapse of that being drawn.

Still for https://www.furaffinity.net/user/ac2/

#minkart #furry #furryart #hyper #hypercock #hyperballs #hyperbulge #cock #balls #bulge #breasts #plusle #pokemon #female #hyperfur

Mink of the EndJan 15

Casting arcane spells with somatic components while wearing armor requires a spell failure check from the caster.

For https://www.furaffinity.net/user/ac2/

#minkart #furry #furryart #hyperfur #hyper #hypercock #hyperballs #hyperbulge #cock #balls #bulge #breasts #plusle #pokemon #female

BisafansDec 11

Sättigungs-Abenteuer mit Botogel und neue Lieferungen in Pokémon Café ReMix

Erhaltet außerdem die Chance, Pokusan mit neuem Outfit erhalten.

Zur News: https://news.bisafans.de/12265

#Event #IOS #Android #Minun #Botogel #Outfit #NintendoSwitch #Plusle #Bingo #Lieferung #Pokusan #PokémonCaféReMix #SättigungsAbenteuer