#plusle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #plusle, 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, 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
-
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
-
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
-
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
-
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
-
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
-
CW: hyper
Timelapse of those being drawn.
Still for https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female #hyperfur
-
CW: hyper
This type of equipment affects the ability to hide and move silently.
For https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyperfur #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female
-
A #Pathfinder2e conversion of my older #Pokemon #MagicItems, with a #Manectric two-bladed #sword to draw lightning, and a #Plusle #shortsword looking for its partner!
#Pathfinder #PF2e #PathfinderRPG #PathfinderArt #Paizo #Nintendo #TTRPG #Homebrew #FantasyArt #ItemArt #NintendoSwitch #TableTop #TableTopGames #PokemonArt #PokemonRPG
-
Very old piece from pre-Sword/Shield days, of all the Pika clones up to that point! Based off the Dogs playing Poker art :)
Def need to revisit and update this to have Pawmi and Morpeko in it!
https://www.furaffinity.net/view/27644471/
#sfw #pokemon #furry #quad #pkmn #pikachu #raichu #pichu #art #togedemaru #plusle #minun #mimikyu #emolga #pachirisu #dedenne