Question

How could this Y' same as this Y combinator itself?

score 31 · Answer 1 · 2024-03-16T05:18:01.353000

31

Views

How could this Y' same as this Y combinator itself?

Published on 16 March 2024 at 05:18

score 72 · Answer 2 · 2024-03-10T21:10:12.203000

72

Views

Type information system recovery

Published on 10 March 2024 at 21:10

score 20 · Answer 3 · 2024-03-01T11:33:37.467000

20

Views

mock - church numerals?

Published on 01 March 2024 at 11:33

score 27 · Answer 4 · 2024-01-29T12:43:06.600000

27

Views

beta-equivalence, beta-reduction and transitive+reflexive beta-reduction

Published on 29 January 2024 at 12:43

score 164 · Answer 5 · 2023-11-29T18:23:44.203000

164

Views

Overlapping Days Calculation Nightmare

Published on 29 November 2023 at 18:23

score 26 · Answer 6 · 2023-11-23T19:49:34.007000

26

Views

Lambda Calculus - Evaluating Custom Rewrite Rules to Increment

Published on 23 November 2023 at 19:49

score 350 · Answer 7 · 2023-10-20T16:30:47.033000

350

Views

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

Published on 20 October 2023 at 16:30

score 104 · Answer 8 · 2023-10-09T20:12:07.463000

104

Views

Are numbers also functions in functional programming?

Published on 09 October 2023 at 20:12

score 59 · Answer 9 · 2023-10-03T01:13:48.570000

59

Views

Valid Lambda Expressions

Published on 03 October 2023 at 01:13

score 81 · Answer 10 · 2023-09-28T13:58:20.397000

81

Views

'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times

Published on 28 September 2023 at 13:58

score 75 · Answer 11 · 2023-08-21T06:39:18.463000

75

Views

Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?

Published on 21 August 2023 at 06:39

score 32 · Answer 12 · 2023-08-15T17:40:04.963000

32

Views

Do you multiply or add when simplifying λ-expressions?

Published on 15 August 2023 at 17:40

score 52 · Answer 13 · 2023-07-07T17:38:27.710000

52

Views

How does "true" evaluate in the lazy lambda calculus?

Published on 07 July 2023 at 17:38

score 177 · Answer 14 · 2023-06-19T19:23:31.217000

177

Views

What is (Y Y), the Y-combinator applied to itself?

Published on 19 June 2023 at 19:23

score 79 · Answer 15 · 2023-06-08T15:19:05.967000

79

Views

How to prove Theorem euclid_gcd : forall a b z, euclid a b z -> gcd a b z. using coq?

Published on 08 June 2023 at 15:19

score 152 · Answer 16 · 2023-05-01T15:57:12.093000

152

Views

Not returning all possible one-step reductions for combinatory expressions

Published on 01 May 2023 at 15:57

score 169 · Answer 17 · 2023-04-27T00:58:46.790000

169

Views

Exception handling in lambda calculus and functional programming

Published on 27 April 2023 at 00:58

score 30 · Answer 18 · 2023-04-13T20:03:35.453000

30

Views

Python lambda function depending on parameter

Published on 13 April 2023 at 20:03

score 119 · Answer 19 · 2023-03-24T12:51:37.610000

119

Views

Encoding pair in lambda calculus

Published on 24 March 2023 at 12:51

score 68 · Answer 20 · 2023-02-10T21:40:16.047000

68

Views

Lambda Expression simplification

Published on 10 February 2023 at 21:40

List Question

How could this Y' same as this Y combinator itself?

Type information system recovery

mock - church numerals?

beta-equivalence, beta-reduction and transitive+reflexive beta-reduction

Overlapping Days Calculation Nightmare

Lambda Calculus - Evaluating Custom Rewrite Rules to Increment

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

Are numbers also functions in functional programming?

Valid Lambda Expressions

'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times

Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?

Do you multiply or add when simplifying λ-expressions?

How does "true" evaluate in the lazy lambda calculus?

What is (Y Y), the Y-combinator applied to itself?

How to prove Theorem euclid_gcd : forall a b z, euclid a b z -> gcd a b z. using coq?

Not returning all possible one-step reductions for combinatory expressions

Exception handling in lambda calculus and functional programming

Python lambda function depending on parameter

Encoding pair in lambda calculus

Lambda Expression simplification

Trending Questions

Popular # Hahtags

Popular Questions