Tag: lambda-calculus

Found 128 results for 'lambda-calculus'.

1) soft-question - How exactly does lambda calculus capture the intuitive notion of computability?
2) pl.programming-languages - Intuitive way to handle variable binding
3) lo.logic - Busy Beaver Equivalent for the Untyped Lambda Calculus
4) lambda-calculus - Can Scheme's call/cc implement all known control flow structures?
5) pl.programming-languages - η-conversion vs extensionality in extensions of lambda-calculus
6) pl.programming-languages - Translation from basic While-language to $\lambda$-calculus
7) lo.logic - Why can Lambda Calculus not represent some combinators?
8) type-theory - What is the role of the Bicolored Calculus of Constructions?
9) soft-question - What is the contribution of lambda calculus to the field of theory of computation?
10) big-picture - What is the relationship between intuitionistic logic, combinatory logic and lambda calculus?
11) lambda-calculus - How do you get the Calculus of Constructions from the other points in the Lambda Cube?
12) pl.programming-languages - What are the equational laws for zero types?
13) lo.logic - Barendregt's proof of subject reduction for $\lambda2$
14) reference-request - Does the System F with pairs have the strong normalisation and subject reduction properties?
15) soft-question - Do I have to give up the Law of the Excluded Middle in order to Learn $\lambda$-Calculus?
16) pl.programming-languages - Are there stronger notions of equivalence over lambda terms than beta equivalence?
17) cc.complexity-theory - Can affine lambda calculus solve every problem in P?
18) lambda-calculus - Fixed points of fixed-point combinator?
19) lambda-calculus - Calculus of Constructions: compress expression to its smallest form
20) type-theory - Church-Rosser property for dependently typed lambda calculus?
21) lo.logic - What's the expressive/compressive power of strongly normalizing subset of untyped lambda calculus?
22) lambda-calculus - Is there an efficient beta-equivalence algorithm?
23) pl.programming-languages - Are innermost reductions perpetual in untyped λ-calculus?
24) lambda-calculus - Can you assign a type to any term of the λEA-calculus?
25) cc.complexity-theory - Can typed lambda calculi express *all* algorithms below a given complexity?
26) lo.logic - What's the point of $\eta$-conversion in lambda calculus?
27) pl.programming-languages - Is infinitary Böhm-reduction wrt. root-active terms for $\lambda$-calculus transitive?
28) lo.logic - Extensionality of lambda calculus models
29) lo.logic - Classification of Typed/Untyped Lambda Calculi
30) pr.probability - Upper bound on Chaitin's constant for lambda calculus and SKI combinatory logic
31) terminology - Why is lambda calculus a "calculus"?
32) lambda-calculus - Using lambda calculus to derive time complexity?
33) combinatory-logic - Are lambda calculus and combinatory logic the same?
34) lo.logic - What was the original intent for the creation of Lambda calculus?
35) lambda-calculus - Historic Relationship between Typed Lambda Calculus and Lisp?
36) lambda-calculus - How can non-terminating $\lambda$-terms be turned into fixed-point combinators?
37) computability - Realizability theory: difference in power between Lambda calculus and Turing Machines
38) reference-request - Inference in typed lambda calculus theories
39) type-theory - Constructing terms of function types out of the empty type
40) lambda-calculus - Extensions of beta-theory of lambda calculus
41) lo.logic - Scott's stochastic lambda calculi
42) lo.logic - Do Higher-Order Functions provide more power to Functional Programming?
43) lambda-calculus - How is Lambda Calculus a specific type of Term Writing system?
44) type-theory - Why it's impossible to declare an induction principle for Church numerals
45) lo.logic - A simple proof that decidability of typability in System F ($\lambda 2$) implies decidability of type checking?
46) computability - Relationship between Turing Machine and Lambda calculus?
47) lo.logic - Contradiction between Gödel's Second Incompleteness Theorem and the Church-Rosser's property of CIC?
48) type-theory - What type system fits the subclass of λ-terms that can be reduced optimally?
49) lo.logic - funsplit and polarity of Pi-types
50) type-theory - Wouldn't the calculus of constructions with linear types be a simple functional core that is consistent and expressive?