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
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
(no subject)
no subject
Thank you!!!