Category:Lambda calculus

From Wikipedia, the free encyclopedia

The main article for this category is Lambda calculus.

ri:Категория:Лямбда-исчисление

Pages in category "Lambda calculus"

The following 29 pages are in this category, out of 29 total. Updates to this list can occasionally be delayed for a few days.

Lambda calculus

A

B

C

C cont.

D

F

Fixed point combinator

H

Higher-order function

K

L

L cont.

Lambda-mu calculus

N

P

Pure type system

R

Rho calculus

S

T

Categories: Recursion theory | Logic in computer science | Functional programming | Formal methods | Logical calculi

Views

Interaction

Search

Languages

This page was last modified 09:57, 4 April 2008 by Wikipedia user VolkovBot. Based on work by Wikipedia user(s) Claymore, Mhss en, Lambiam, Gregbard, Le Pied-bot, Ivan Štambuk, CBM, Appleseed, Jpbowen, Allan McInnes, Mikeblas, Ejdzej, Ancheta Wis and Lupin and Anonymous user(s) of Wikipedia.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
About Wikipedia
Disclaimers