Category:Lambda calculus

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Mikeblas (talk | contribs) at 06:34, 4 January 2006 (add to process calculi category). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

Abstract machines‎ (1 C, 7 P)
Applicative computing systems‎ (5 P)

S

Substitution (logic)‎ (3 P)

Pages in category "Lambda calculus"

The following 48 pages are in this category, out of 48 total. This list may not reflect recent changes.

Lambda calculus

A

B

C

D

E

Explicit substitution

F

Fixed-point combinator

H

I

Intersection type discipline

K

L

M

N

P

R

Reduction strategy

S

T

U

Untyped lambda calculus

Η

Η-conversion

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Lambda_calculus&oldid=33814912"