Question

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

score 1.8k · Answer 1 · 2016-10-07 05:15:36

1.8k

Views

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

Published on 07 Oct 2016 - 5:15

score 809 · Answer 2 · 2016-10-09 15:49:59

809

Views

lambda calculus beta reduction and normalisation

Published on 09 Oct 2016 - 15:49

score 521 · Answer 3 · 2016-10-16 14:40:19

521

Views

Understanding `tru` in Lambda Calculus from TAPL

Published on 16 Oct 2016 - 14:40

score 2k · Answer 4 · 2016-10-16 15:00:21

2k

Views

Understanding Abstract Syntax Tree

Published on 16 Oct 2016 - 15:00

score 2.1k · Answer 5 · 2016-10-17 02:36:12

2.1k

Views

Lambda Calculus Identity Function

Published on 17 Oct 2016 - 2:36

score 679 · Answer 6 · 2016-10-25 02:36:03

679

Views

How to prove that Z is a fixed point combinator under call by value?

Published on 25 Oct 2016 - 2:36

score 207 · Answer 7 · 2016-10-26 17:02:48

207

Views

Curry howard equivalence on an equality

Published on 26 Oct 2016 - 17:02

score 1.4k · Answer 8 · 2016-11-07 06:52:50

1.4k

Views

Differential in lambda calculus

Published on 07 Nov 2016 - 6:52

score 79 · Answer 9 · 2016-11-29 16:25:20

79

Views

lambda expression reduces to x but how?

Published on 29 Nov 2016 - 16:25

score 149 · Answer 10 · 2026-03-26 18:41:02

149

Views

Is there actually exist a computable function that take any argument （such as real number)?But how can it be proved？

Published on 26 Mar 2026 - 18:41

score 78 · Answer 11 · 2016-12-11 20:42:35

78

Views

Unrecognized Quantifiers

Published on 11 Dec 2016 - 20:42

score 82 · Answer 12 · 2016-12-14 23:59:54

82

Views

What does this notation mean $ x [ f / x ] \equiv _{df} f$?

Published on 14 Dec 2016 - 23:59

score 699 · Answer 13 · 2017-01-08 16:36:10

699

Views

Lambda Calculus, defining the AND boolean operator.

Published on 08 Jan 2017 - 16:36

score 63 · Answer 14 · 2017-01-16 01:34:45

63

Views

Equational proof of two expressions for $\lambda x\,\lambda y\,y$ for functors

Published on 16 Jan 2017 - 1:34

score 41 · Answer 15 · 2017-01-17 14:23:03

41

Views

Proving the Existence of the "Bureaucrat Term" in the Lambda Calculus

Published on 17 Jan 2017 - 14:23

List Question

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

lambda calculus beta reduction and normalisation

Understanding `tru` in Lambda Calculus from TAPL

Understanding Abstract Syntax Tree

Lambda Calculus Identity Function

How to prove that Z is a fixed point combinator under call by value?

Curry howard equivalence on an equality

Differential in lambda calculus

lambda expression reduces to x but how?

Is there actually exist a computable function that take any argument （such as real number)?But how can it be proved？

Unrecognized Quantifiers

What does this notation mean $ x [ f / x ] \equiv _{df} f$?

Lambda Calculus, defining the AND boolean operator.

Equational proof of two expressions for $\lambda x\,\lambda y\,y$ for functors

Proving the Existence of the "Bureaucrat Term" in the Lambda Calculus

Trending Questions

Popular # Hahtags

Popular Questions