Juan-Carlos Gandhi (
juan_gandhi
) wrote
2020
-
05
-
13
09:55 pm
Entry tags:
logic
,
meetup
,
scala
,
topos
come listen to my talk on topos logic implementation
https://www.meetup.com/SF-Types-Theorems-and-Programming-Languages/events/270634414/
(
0 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) wrote2020-05-13 09:55 pmjuan_gandhi) wrote2020-05-13 09:55 pm
