|
|
|
|
Typed lambda calculus
Typed lambda calculus A typed lambda calculus is a typed formalism which uses the lambda-symbol (< ...
http://en.wikipedia.org/wiki/Typed_lambda_calculus - 6k - Cached - Similar pages
|
Simply typed lambda calculus
Simply typed lambda calculus The simply typed lambda calculus () is a typed lambda ...
http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus - 14k - Cached - Similar pages
|
Talk:Typed lambda calculus
Talk:Typed lambda calculus We should definitely discuss Barendregt's lambda cube, Girard's System F and Coquand ... that I know a few things about typed lambda calculi. If I have time I' ...
http://en.wikipedia.org/wiki/Talk:Typed_lambda_calculus - 1k - Cached - Similar pages
|
Lambda calculus
Lambda calculus In computer science, the lambda calculus is a formal system designed to ... Kleene in the 1930s; Church used the lambda calculus in 1936 to give a negative ... function is. The question of whether two lambda calculus expressions are equivalent cannot be solved ... problem, for which undecidability could be proved. Lambda calculus has greatly influenced functional programming ...
http://en.wikipedia.org/wiki/Lambda_calculus - 37k - Cached - Similar pages
|
Lambda cube
Lambda cube In mathematical logic and type theory ... calculus of constructions, starting from the simply typed lambda calculus as the vertex of a (3 ... the calculus of constructions (= higher order dependently-typed polymorphic lambda calculus) as its diametric opposite vertex. ...
http://en.wikipedia.org/wiki/Lambda_cube - 2k - Cached - Similar pages
|
Talk:Lambda calculus
Talk:Lambda calculus Syntax of constant function Maybe I ... for. For an introduction google for "introduction lambda calculus barendregt barendsen". -- Jan Hidders 23:03 ... a note that this is the untyped lambda calculus, and that there are also several typed lambda calculi. done. I removed this: Church ...
http://en.wikipedia.org/wiki/Talk:Lambda_calculus - 55k - Cached - Similar pages
|
Actor model and process calculi history
Actor model and process calculi history The Actor model and process calculi share an interesting history and coevolution. Early ... unbounded nondeterminism in the Actor model. Process Calculi and Actor model Milner, et. al. In ... Milner remarked as follows: Now, the pure lambda-calclus is built with just two kinds ... above, introduced dynamic topology into the process calculi by allowing dynamic creation of processes ...
http://en.wikipedia.org/wiki/Actor_model_and_process_calculi_history - 30k - Cached - Similar pages
|
User:K.lee/Programming language rewrite
... foundational languages — also called core languages, calculi (singular calculus ), or specification languages — are ... prominent foundational language is Alonzo Church's lambda calculus. Although such languages can be executed ... designers apply the lessons learned from formal calculi in the design of practical programming languages. For example, the lambda calculus is the basis of Lisp. See ... that is defined as holding dates. Statically typed languages come in two flavors, namely ...
http://en.wikipedia.org/wiki/User:K.lee/Programming_language_rewrite - 101k - Cached - Similar pages
|
System F
... see Ferry Corsten System F is a typed lambda calculus. It is also known as the second-order or polymorphic lambda calculus. It was discovered independently by the ... polymorphism in programming languages. Just as the lambda calculus has variables ranging over functions, and binders for them, the second-order lambda calculus has variables ranging over types, ...
http://en.wikipedia.org/wiki/System_F - 8k - Cached - Similar pages
|
Combinatory logic
... looked at as a variation of the lambda calculus, in which lambda expressions (used to allow for functional abstraction ... free variables. It is easy to transform lambda expressions into combinator expressions, and since combinator reduction is much simpler than lambda reduction, it has been used as the ... Hindley and Meredith, 1990]. Summary of the lambda calculus For complete details about the ...
http://en.wikipedia.org/wiki/Combinatory_logic - 35k - Cached - Similar pages
|
| Page:1 2 Next >> |
