Theoretical Computer Science
William Stirton's user avatar
William Stirton's user avatar
William Stirton's user avatar
William Stirton
Unregistered
  • Member for 8 years, 3 months
  • Last seen more than 8 years ago
Profile Activity
Stats
61
reputation
194
reached
1
answer
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Top tags
6
Score
1
Posts
100
Posts %
6
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Is combinatory strong reduction equivalent to lambda beta-eta reduction?
Aug 28, 2015

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.