#lambda-calculus — Public Fediverse posts

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

Lambda Calculus Benchmark for AI

https://victortaelin.github.io/lambench/

#HackerNews #LambdaCalculus #AI #Benchmarking #MachineLearning #Programming

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

Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming

Haskell for all: Data is Code

https://haskellforall.com/2016/04/data-is-code

#programming #LambdaCalculus #plt #FunctionalProgramming #FP #Haskell #Scala

Readings shared March 09, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/10-readings_shared_02-09-26 #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver

Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming

RE: https://mastodon.social/@lobsters/116002869083328549

#maths #mathematics #number #NumberTheory #computation #BusyBeaver #LambdaCalculus #LargeNumbers
https://tromp.github.io/blog/2026/01/28/largest-number-revised

Propositions As Types Analogy • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-analogy-1/

One of my favorite mathematical tricks — it almost seems too tricky to be true — is the Propositions As Types Analogy. And I see hints the 2‑part analogy can be extended to a 3‑part analogy, as follows.

Proof Hint ∶ Proof ∶ Proposition
∷
Untyped Term ∶ Typed Term ∶ Type

or

Proof Hint ∶ Untyped Term
∷
Proof ∶ Typed Term
∷
Proposition ∶ Type

See my working notes on the Propositions As Types Analogy —
• https://oeis.org/wiki/Propositions_As_Types_Analogy

#Mathematics #CategoryTheory #ProofTheory #TypeTheory
#Logic #Analogy #Isomorphism #PropositionalCalculus
#CombinatorCalculus #CombinatoryLogic #LambdaCalculus
#Peirce #LogicalGraphs #GraphTheory #RelationTheory

🎉✨ #Iowa #Type #Theory #Commute attempts to unravel control flow analysis for lambda calculus, but instead, readers are treated to an art installation by #Cloudflare titled "Access Denied." 🛑🔍 The irony is almost as dense as the lambda calculus itself—so grab some popcorn and enjoy the never-ending loop of blocked access and security gibberish! 🍿🤦‍♂️
https://rss.buzzsprout.com/728558.rss #AccessDenied #LambdaCalculus #ControlFlowAnalysis #HackerNews #ngated

What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute

https://rss.buzzsprout.com/728558.rss

#HackerNews #ControlFlowAnalysis #LambdaCalculus #TypeTheory #IowaCommute #HN

Readings shared November 26, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/27-readings_shared_11-26-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #Math #TypeTheory

Lambda calculus and typing. ~ Noam Zeilberger. https://noamz.org/teaching/CSE301/2025/Notes/LambdaNotes.pdf #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory

Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

https://cruzgodar.com/applets/lambda-calculus

#HackerNews #LambdaCalculus #AnimatedBetaReduction #LambdaDiagrams #Education #Tech #Innovation