Newbetuts
.
New posts in lambda-calculus
A concrete definition of scope in lambda calculus that can be applied to determine which variables are bound and which are free
terminology
substitution
lambda-calculus
Substitution in sequent calculus vs substitution in lambda calculus
logic
formal-languages
substitution
lambda-calculus
sequent-calculus
How did Haskell add Turing-completeness to System F?
haskell
type-systems
lambda-calculus
turing-complete
system-f
Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
computability
lambda-calculus
What is the shortest function of lambda calculus that generates all functions of lambda calculus?
lambda-calculus
How or why does intutionistic logic proof negations from within the theory, constructively?
propositional-calculus
proof-theory
lambda-calculus
type-theory
constructive-mathematics
Exponentiation in Lambda Calculus
exponentiation
lambda-calculus
Is this $\beta$-reduction step incorrect or not?
lambda-calculus
What are some resources for learning Lambda Calculus? [closed]
lambda-calculus
What does "calculus" mean?
calculus
logic
terminology
lambda-calculus
formal-systems
What is call/cc?
lambda
scheme
continuations
lambda-calculus
callcc
Lambda Calculus syntax: multiplication is or isn't implied?
lambda-calculus
Significance of the inner parentheses in this lambda expression? $(\lambda xyz.xy(zx)) \;1\; 2\; 3$
lambda-calculus
How do lambda calculus most basic definitions work?
lambda-calculus
Fixed point combinator and functions with no fixed point
logic
recursion
fixed-point-theorems
paradoxes
lambda-calculus
How to correctly curry a function in JavaScript?
javascript
haskell
currying
lambda-calculus
partial-application
What does $\bigwedge$ mean in lambda calculus?
notation
lambda-calculus
If $f(x)=g(x)$ for all $x:A$, why is it not true that $\lambda x{.}f(x)=\lambda x{.}g(x)$?
lambda-calculus
type-theory
$f$ is a fixed-point of $h$. $\Theta h$ is also a fixed-point of $h$. Can we conclude that $f$ equals $\Theta h$?
lambda-calculus
fixed-points
In lambda calculus, how many fixed-point combinators are there? [closed]
lambda-calculus
fixed-points
Prev
Next