Category:Lambda calculus

From Wikipedia, the free encyclopedia

Jump to: navigation, search
The main article for this category is Lambda calculus.

Subcategories

This category has only the following subcategory.

A

  • [+] Applicative computing systems (5 P)

Pages in category "Lambda calculus"

The following 35 pages are in this category, out of 35 total. This list may not reflect recent changes (learn more).

  • Lambda calculus

A

  • Anonymous function
  • Applicative computing systems
  • Apply

B

  • B,C,K,W system
  • Beta normal form
  • Binary lambda calculus

C

  • Calculus of constructions
  • Calculus of inductive constructions
  • Church encoding
  • Church–Rosser theorem
  • Combinatory logic

C cont.

  • Context change potential
  • Currying

D

  • De Bruijn index
  • De Bruijn notation
  • Director string

E

  • Explicit substitution

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

M

  • Montague grammar

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
  • Typed lambda calculus
Retrieved from "http://en.wikipedia.org/wiki/Category:Lambda_calculus"
Categories: Recursion theory | Functional programming | Logical calculi | Programming language theory
Views
  • Category
  • Discussion
  • Edit this page
  • History
Personal tools
  • Try Beta
  • Log in / create account
Navigation
  • Main page
  • Contents
  • Featured content
  • Current events
  • Random article
 
Interaction
  • About Wikipedia
  • Community portal
  • Recent changes
  • Contact Wikipedia
  • Donate to Wikipedia
  • Help
Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
  • Printable version
  • Permanent link
Languages
  • Esperanto
  • Hrvatski
  • 日本語
  • Nederlands
  • Polski
  • Русский
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • This page was last modified on 23 December 2009 at 17:32.
  • Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. See Terms of Use for details.
    Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.
  • Contact us
  • Privacy policy
  • About Wikipedia
  • Disclaimers