Date: 2015-01-13 06:20 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
First, we have to come up with a formal definition. The way he defines it (or it is defined in Haskell), it is not.

But also see other comments with detailed paper link.
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

juan_gandhi: (Default)
Juan-Carlos Gandhi
patryshev.com

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718 1920 21
222324252627 28
29 30     

Most Popular Tags

Active Entries

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 3rd, 2025 11:57 am
Powered by Dreamwidth Studios