Lambda Calculus Ijs New York 2025

You have likely heard the term "

Lambda Calculus

On Decidable and Undecidable Extensions of Simply Typed

ERRATA: • The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I ...

The

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

This talk was recorded at

The

another lambda calculus reduction which works but gives lots of trash

This talk will discuss CSLib's locally nameless formalization of

A demonstration of Elody, a visual functional programming language derived from the

In the 1930s, Alonzo Church built a formal system from nothing but functions. No numbers, no data types, no machine — just ...

One of the deepest mysteries in the functional programming world is the Y-Combinator. Many have heard of it, but few have ...

Lambda Calculus