User Vitaly Olegovitch - Mathematics Stack Exchange

As of May 31, 2023, we have updated our Code of Conduct.

Vitaly Olegovitch

Member for 11 years, 8 months
Last seen more than a month ago

Rome, Italy

9 Questions

Score Activity Newest Views

10 votes

1 answer

4k views

Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus

asked Jun 1, 2014 at 18:51

9 votes

2 answers

2k views

Representing lists and trees in System F

asked Mar 17, 2014 at 21:16

4 votes

1 answer

231 views

Is Lambda calculus a purely equational theory?

asked Feb 25, 2014 at 9:03

3 votes

1 answer

517 views

Consequences of difference between "strong" and weak Church-Rosser property

asked Feb 27, 2014 at 8:50

3 votes

2 answers

1k views

Meaning of variables and applications in lambda calculus

asked Feb 20, 2014 at 22:19

1 vote

0 answers

90 views

Link between Ramsey Theory, random graphs and spin glasses

asked Oct 2, 2013 at 21:54

1 vote

1 answer

1k views

Beta reduction exercise question

asked Mar 15, 2014 at 13:41

1 vote

1 answer

396 views

Lambda calculus: encoding lists and projectors

asked Apr 19, 2014 at 17:55

0 votes

2 answers

132 views

Clarification about the definition of term algebras

asked Mar 26, 2014 at 21:05