Scholar
Ask a question and accept an answer.
Awarded 2610 times.
Awarded 10 hours ago
Awarded Nov 21 at 4:36
Awarded Nov 19 at 17:16
Awarded Nov 15 at 19:56
Awarded Nov 15 at 8:47
Awarded Nov 14 at 20:21
Awarded Nov 13 at 10:55
Awarded Nov 10 at 4:08
Awarded Oct 28 at 22:41
Awarded Oct 25 at 18:41
Awarded Oct 23 at 13:37
Awarded Oct 13 at 15:35
Awarded Oct 8 at 18:32
Awarded Oct 1 at 10:42
Awarded Sep 25 at 12:22
Awarded Sep 23 at 3:11
Awarded Sep 10 at 20:10
Awarded Sep 9 at 9:57
Awarded Sep 8 at 17:31
Awarded Sep 6 at 17:58
Awarded Aug 24 at 5:19
Awarded Aug 17 at 20:26
Awarded Aug 13 at 4:55
Awarded Aug 7 at 16:16
Awarded Aug 3 at 7:25
Awarded Aug 1 at 14:36
Awarded Jul 30 at 2:42
Awarded Jul 19 at 13:50
Awarded Jul 18 at 19:35
Awarded Jul 18 at 5:04
Awarded Jul 17 at 20:17
Awarded Jul 17 at 18:35
Awarded Jul 16 at 9:09
Awarded Jul 12 at 20:36
Awarded Jul 11 at 21:27
Awarded Jul 9 at 19:49
Awarded Jul 8 at 22:36
Awarded Jul 7 at 9:20
Awarded Jun 30 at 16:50
Is it necessary to apply alpha conversion in this term to perform beta reduction in lambda calculus?
Awarded Jun 29 at 6:08
Awarded Jun 27 at 12:55
Awarded Jun 22 at 12:58
Awarded Jun 9 at 15:10
Awarded Jun 5 at 9:33
Awarded May 28 at 18:34
Awarded May 27 at 9:20
Awarded May 23 at 17:34
Awarded May 19 at 21:32
(post deleted or otherwise unavailable)
Awarded May 13 at 22:57
Awarded May 13 at 15:52
Awarded May 9 at 22:01
Awarded May 5 at 8:16
Awarded May 4 at 6:57
Awarded Apr 20 at 17:36
Awarded Apr 20 at 13:16
Awarded Apr 19 at 2:50
Awarded Apr 14 at 15:02
Awarded Apr 13 at 2:50
(post deleted or otherwise unavailable)
Awarded Apr 10 at 17:34
Awarded Apr 9 at 12:33