Post #1506855
2025-03-07 18:59 UTC
@chrisamaphone What do you mean by resource semantics? The logical relations indexed by a monoid?
Replies (1)
-
@chrisamaphone@hci.social 2025-03-07 19:51
@bentnib yes
2025-03-07 18:59 UTC
@bentnib yes