Skip to Main Content
Dataflow matrix machines (by Anhinga anhinga) (
dmm
) wrote
2023
-
02
-
17
08:47 pm
Entry tags:
dana scott
,
logic
,
mathematics
Selected Papers of Dana S. Scott
github.com/CMU-HoTT/scott
Threaded
|
Flat
no subject
dmm
2023-02-18 01:48 am (UTC)
(
link
)
Via Andrej Bauer and Steve Awodey:
https://math.andrej.com/2022/10/11/happy-birthday-dana/
(no subject)
juan_gandhi
-
2023-02-18 02:34 (UTC)
-
Expand
no subject
juan_gandhi
2023-02-18 02:32 am (UTC)
(
link
)
Thank you!!!
3 comments
Post a new comment
Threaded
|
Flat
Log in
Account name:
Password:
Remember me
Other options:
Forget your password?
Log in with OpenID?
Close
menu
Log in
Create
Create Account
Display Preferences
Explore
Interests
Directory Search
Site and Journal Search
Latest Things
Random Journal
Random Community
FAQ
Shop
Buy Dreamwidth Services
Gift a Random User
DW Merchandise
Interest
Region
Site and Account
FAQ
Email
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
(no subject)
no subject
Thank you!!!