Newbetuts
.
New posts in lambda-calculus
Function "evaluation" just means "composition"?
functions
category-theory
type-theory
lambda-calculus
Idempotency and Fixed-point combinators
functions
lambda-calculus
fixed-points
idempotents
Can someone explain the Y Combinator?
abstract-algebra
computer-science
computability
lambda-calculus
combinatory-logic
Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in “nLab” page. Need a double check.
computer-science
lambda-calculus
fixed-points
combinatory-logic
rewriting-systems
Why is Haskell (GHC) so darn fast?
performance
haskell
ghc
higher-order-functions
lambda-calculus
Why is lambda calculus named after that specific Greek letter? Why not “rho calculus”, for example?
terminology
math-history
lambda-calculus
Why isn't lambda notation popular among mathematicians?
linear-algebra
notation
lambda-calculus
dual-spaces
What's the point of eta-conversion in lambda calculus?
lambda-calculus
What part of Hindley-Milner do you not understand?
haskell
functional-programming
lambda-calculus
hindley-milner
denotational-semantics
Learning Lambda Calculus
logic
learning
online-resources
lambda-calculus
type-theory
Prev