StackOverflow Questions for Tag: k-combinator

A. Burger

Reputation: 11

Evaluating SKI-combinators with not enough arguments

lambda-calculuscombinatorscombinatory-logick-combinators-combinator

Score: 1

Answers: 4

roberto salas

Reputation: 13

Does SKS equal SKK?

lambda-calculuscombinatorsequivalencek-combinators-combinator

Score: 1

Answers: 1

Kyle McKean

Reputation: 445

How to type the simply typed lambda calculus term (S K K)

haskelllambdafunctional-programmingk-combinators-combinator

Score: 2

Answers: 1

MKaama

Reputation: 1919

How to create a sequence of actions mid-expression in ReasonML (and avoid creating a tuple)?

control-flowreasonk-combinator

Score: 1

Answers: 1

xuanji

Reputation: 5097

Fixed point of K combinator

lambda-calculusy-combinatorfixpoint-combinatorsk-combinator

Score: 3

Answers: 1

ДМИТРИЙ МАЛИКОВ

Reputation: 21972

Conversion from lambda term to combinatorial term

haskelllambda-calculusequivalencek-combinators-combinator

Score: 6

Answers: 4

khrist safalhai

Reputation: 570

To prove SKK and II are beta equivalent, lambda calculus

functional-programminglambda-calculusproof-of-correctnessk-combinators-combinator

Score: 3

Answers: 2

Brad

Reputation: 715

convert flip lambda into SKI terms

lambdalambda-calculuscombinatorsk-combinators-combinator

Score: 3

Answers: 1

Andrew L

Reputation: 5486

Lambda reductions prove S K = K I

lambdalambda-calculusproof-of-correctnessk-combinators-combinator

Score: 1

Answers: 1

Jyoti Prasad Pal

Reputation: 1629

Function signature of Tap (K-combinator)

javascriptfunctional-programmingfunction-signaturek-combinator

Score: 3

Answers: 1

Richiban

Reputation: 5930

(Kestrel) K-combinator: why is it useful?

f#functional-programmingsamplecombinatorsk-combinator

Score: 20

Answers: 1

Roger Costello

Reputation: 3209

How to create a K combinator in the enchanted forest? (To Mock a Mockingbird)

lambdafunctional-programmingfunction-compositioncombinatorsk-combinator

Score: 6

Answers: 2

PreviousPage 1Next