Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in lambda-calculus

for fixed point combinator Y, what is \x.f(xx)

functional-programming computer-science theory lambda-calculus combinators

Function returns value without replacing the variable with the given parameter

javascript anonymous-function currying lambda-calculus

How to write recursive factorial function in haskell without if then else statment

haskell lambda-calculus

Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?

haskell lambda-calculus

To prove SKK and II are beta equivalent, lambda calculus

functional-programming lambda-calculus proof-of-correctness k-combinator s-combinator

How to model the output of the binary lambda calculus?

haskell programming-languages interpreter lambda-calculus

How to represent sugared λ-terms in Haskell?

haskell racket lambda-calculus

How to substitute a variable in an expression in haskell?

haskell lambda-calculus

Is there simple way to extend simply typed lambda calculus with monad types?

haskell programming-languages monads lambda-calculus typed-lambda-calculus

convert flip lambda into SKI terms

lambda lambda-calculus combinators k-combinator s-combinator

How to encode in lambda calculus

haskell lambda semantics lambda-calculus

Fixed point of K combinator

lambda-calculus y-combinator fixpoint-combinators k-combinator
Older Entries »