Pages in category "Lambda calculus"

The following 29 pages are in this category, out of 29 total. This list may sometimes be slightly out of date (learn more)

Lambda calculus A Anonymous function Apply B B,C,K,W system Beta normal form C Calculus of constructions Calculus of inductive constructions Church encoding Church–Rosser theorem

C cont. Combinatory logic Currying D De Bruijn notation Director string F Fixed point combinator H Higher-order function K Kleene-Rosser paradox Knights of the Lambda Calculus L Lambda cube Lambda lifting

L cont. Lambda-mu calculus N Normalisation by evaluation Normalization property (lambda-calculus) P Pure type system R Rho calculus S SKI combinator calculus Simply typed lambda calculus System F T Type inhabitation problem Typed lambda calculus