 |
|
| |
|
||||
Lambda calculus (19499 bytes)
1: ... for which undecidability could be proved. Lambda calculus has greatly influenced [[functional programming|f... 3: ...alent to [[Turing machines]]. However, the lambda calculus emphasizes the use of transformation rules, and d... 5: ...h. Since then, some [[typed lambda calculus|typed lambda calculi]] have been developed. 9: ...[Russell's paradox]], he separated out the lambda calculus and used it to study [[computability]], culminati... 13: ... function as follows: (λ ''x''. ''x'' 3) (λ ''x''. ''x''+2). It is clear that the three expr... Knights of the Lambda Calculus (539 bytes) 1: ...me]] [[hacker]]s. The name refers to the [[lambda calculus]], a mathematical formalism invented by [[Alonzo ... Typed lambda calculus (1979 bytes) 1: '''Typed versions of the lambda calculus''' 2: ...ourse a restriction on the programmer. Many typed lambda calculi exist, varying in the types and typing fe... 4: ==Simply typed lambda calculus== 5: ...r a ''composite type'' in the case of a function (lambda abstraction). Composite types are denoted ''&alph... 17: ==Uses of lambda calculi== Lambda (1485 bytes) 1: ...s a [[unit of measure]] of [[volume]] (symbol '''λ''') equal to one [[micro]][[litre]] (1 μL) or... 5: '''Lambda''' (upper case Λ, lower case λ) is the 11th letter of the [[Greek alphabet]]. ... 7: Lambda is a shuttle type in [[Star Wars]]. See [[Lambda Shuttle]]. 9: The upper-case letter Λ is used as a symbol for: 10: * The [[baryon|lambda particles]] in particle physics Lambda Lambda Lambda (1355 bytes) 1: '''Lambda Lambda Lambda''' or '''Tri-Lam''' is a fictional [[Fraternities... 7: ...nity president returned to Adams with a number of Lambda members of imposing builds who could intimidate t... 11: :''Lambda Lambda Lambda, is our fraternity;'' Lambda Legal (1208 bytes) 1: '''Lambda Legal Defense and Education Fund''', formed in [[... 5: Lambda initially was denied the right to organize as a [... 7: Lambda has played a role in many legal cases in the [[Un... 10: * [http://www.lambdalegal.org Lambda Legal Defense and Education Fund] Lambda abstraction (750 bytes) 1: ...ressed in the language of [[lambda calculus]]. A lambda abstraction is to a [[functional programming]] la... 3: ...ee variables: each its variables is bound by some lambda. E.g. 5: is a concrete lambda expression, whereas 6: :λf. λx. f (f (f x)) 7: is an abstract lambda expression. Lambda cube (794 bytes) 1: ... constructions (= higher order polymorphic lambda calculus) as its diametric opposite vertex. 7: * [[Lambda calculus]] 13: ...jones.com/rbjpub/logic/cl/tlc001.htm Barendregt's Lambda Cube] Lambda function (540 bytes) 1: ...he computer science lambda function, see [[Lambda calculus]].'' 3: The '''Lambda Function''' is a type of exponential function, wh... 4: :<math>x \lambda ^b = x^{x^{b-1}}</math> 5: The Lambda Function is an [[Artificial Function]], it has li... Lambda phage (3828 bytes) 1: ...n | color = violet | name = Enterobacteria phage λ}} 7: {{Taxobox_genus_entry | taxon = ''[[λ-like viruses]]''}} 8: ..._species_entry | taxon = '''Enterobacteria phage λ'''}} 11: ...e itself into the host's [[DNA]]. In this state, λ is called a [[prophage]] and stays resident with... 13: ...t site in the bacterial genome, called ''att<sup>λ</sup>''. The sequence of the att site is called ... Lambda 10 Project (1185 bytes) 1: The '''Lambda 10 Project''' is a national clearinghouse for [[g... 3: ...of Student Ethics and Anti-harassment Programs. Lambda 10 is also an associate member of the Association... 6: *[http://www.lambda10.org The Lambda 10 Project] Lambda programming (447 bytes) 1: ... is also an obscure programming language called [[Lambda]]. 3: ...obably better to specifically refer to either the calculus or the programming paradigm. GM Lambda platform (1172 bytes) 1: ...a platform|Theta]]'' [[crossover SUV]]s, however, Lambdas will offer less ground clearance and lean more h... 3: ...form, shared by Buick, but Pontiac will not get a Lambda vehicle. Instead, GMC gets its first non-truck. 5: Lambda vehicles will be produced in a new factory in Del... 20: [[Category:GM platforms|Lambda]] Lambda (unit) (166 bytes) 3: Lambda is a used for when a carbon monoxide and carbon d... Lambda Kappa Pi (331 bytes) Lambda Papers (1227 bytes) 1: '''Lambda the Ultimate Papers''' were written by [[Gerald J... 4: ... 1975: Scheme: An Interpreter for Extended Lambda Calculus 5: * 1976: '''Lambda: The Ultimate Imperative''' 6: * 1976: '''Lambda: The Ultimate Declarative''' 7: ...e Call Implementations Considered Harmful, or, '''Lambda: The Ultimate GOTO''' Lambda (rocket) (321 bytes) 2: ...ted of the types Lambda 2, LS-A, LSC-3, Lambda 3, Lambda 4 and LS-C. 4: With a Lambda 4 on February 11th, 1970 the first Japanese satel... 7: *http://www.astronautix.com/lvfam/lambda.htm 8: *http://www.astronautix.com/lvs/lambda4.htm Lambda point (222 bytes) 1: '''Lambda point''' is the [[temperature]] (approximately 2.... Lambda programming language (321 bytes) 1: ...ogramming language''' combines a sort of [[lambda calculus]] with a [[von Neumann architecture]]. 4: ...ttp://www.veling.nl/anne/lang/lambda/ homepage of Lambda] Delta Lambda Phi (226 bytes) 1: '''Delta Lambda Phi''' is a social [[fraternity]] for gay, bisex... 4: *[[Lambda 10 Project]]
|
|||||
|
|
|
|
|
|
Copyright 2008 WordIQ.com - Privacy Policy
::
Terms of Use
:: Contact Us
:: About Us This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "lambda calculus". |