Octocurious

❯

Simply Typed Lambda Calculus

Simply-Typed Lambda Calculus

13 May 20261 min read

%TODO Lambda calculus in which all terms have types. No recursion.

Graph View

Backlinks

Category Theory
Completeness (Logic)
Intrinsic vs Extrinsic Typing
Natural Deduction
Set (Category)
Syntax of Logic
Type Theory
jacobs1999-categorical-logic

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community