List questions from k-combinator

Published on 31 May 2012 at 09:32

846

Views

Fixed point of K combinator

Published on 05 November 2011 at 14:23

1.3k

Views

Conversion from lambda term to combinatorial term

Published on 21 October 2012 at 19:49

446

Views

Does SKS equal SKK?

Published on 29 January 2021 at 00:05

40

Views

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

Published on 05 April 2020 at 17:30

2.5k

Views

To prove SKK and II are beta equivalent, lambda calculus

Published on 26 April 2011 at 01:45

935

Views

convert flip lambda into SKI terms

Published on 31 March 2015 at 21:55

311

Views

Evaluating SKI-combinators with not enough arguments

Published on 02 February 2020 at 20:53

517

Views

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

Published on 10 March 2016 at 00:20

2.7k

Views

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

Published on 01 October 2014 at 10:59

1k

Views

Function signature of Tap (K-combinator)

Published on 27 July 2016 at 13:42

377

Views

Lambda reductions prove S K = K I

Published on 03 April 2013 at 02:48

List Question

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

Fixed point of K combinator

Conversion from lambda term to combinatorial term

Does SKS equal SKK?

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

To prove SKK and II are beta equivalent, lambda calculus

convert flip lambda into SKI terms

Evaluating SKI-combinators with not enough arguments

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

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

Function signature of Tap (K-combinator)

Lambda reductions prove S K = K I

Trending Questions

Popular # Hahtags

Popular Questions