Juan-Carlos Gandhi (
juan_gandhi
) wrote
2019
-
03
-
05
10:43 pm
Entry tags:
c
,
logic
,
monad
a monad to prove C is ok
https://cs.ru.nl/~dfrumin/wpc/iris-c-monad.pdf
(
2 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2019-03-05 10:43 pmjuan_gandhi) wrote2019-03-05 10:43 pm
