Newbetuts
.
New posts in lambda-calculus
What breaks the Turing Completeness of simply typed lambda calculus?
turing-machines
lambda-calculus
type-theory
Is $S(K (S I I))(S(S (K S)(S(K K)I)))(K (S I I))$ really a fixed-point combinator or is this a typo?
lambda-calculus
General notation for $\lambda x_1 … x_n.x_i$? Can it be called $\pi^n_i$?
notation
lambda-calculus
Lambda Calculus functions that are fixed-points of themselves
lambda-calculus
fixed-points
How helpful is knowing lambda calculus? [closed]
math
functional-programming
computer-science
lambda-calculus
The Power of Lambda Calculi
logic
proof-theory
lambda-calculus
formal-systems
In $\lambda$-calculus, is there a way to undo an application $(AB)$ to get back just $A$ or just $B$?
inverse
inverse-function
lambda-calculus
Fixed points in computability and logic
logic
computability
fixed-point-theorems
incompleteness
lambda-calculus
lambda calculus and category theory
logic
category-theory
computer-science
lambda-calculus
Opposite Direction of Church-Rosser Theorem
lambda-calculus
Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct
definition
computer-science
lambda-calculus
rewriting-systems
What does this typed lambda-calculus notation mean?
type-theory
lambda-calculus
intuitionistic-logic
Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$
substitution
lambda-calculus
Lambda Calculus Beta reductions
discrete-mathematics
computer-science
computability
lambda-calculus
How to Prove a Lemma in Lambda Calculus about Contexts
lambda-calculus
The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?
category-theory
foundations
lambda-calculus
Why can't we formalize the lambda calculus in first order logic?
logic
first-order-logic
lambda-calculus
combinatory-logic
Why are λ-calculus optimal evaluators able to compute big modular exponentiations without formulas?
algorithm
haskell
functional-programming
lambda-calculus
modular-arithmetic
What is the cardinality of the set of untyped $\lambda$-calculus functions? I know it’s an infinity, but is it countable or uncountable?
cardinals
lambda-calculus
Why is $\lambda x.\lambda y.xy$ not reducible to $\lambda x.x$?
lambda-calculus
Prev
Next