Date: 2009-09-15 03:03 pm (UTC)From: [personal profile] chrisamaphone
what i wanna know is why the heck strict untyped lambda calculus was what they picked to examine in the first place. it's not terminating and it's not turing-complete. in william's words, seems like the worst of both worlds...
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

chrisamaphone

August 2014

S M T W T F S
     12
3456789
10111213141516
17181920 21 2223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 17th, 2025 04:26 am
Powered by Dreamwidth Studios