Denotational semantics driven simplicial homology?

Mon, 01 Jan 2024 00:00:00 +0100

Davide Barbarossa:
Denotational semantics driven simplicial homology? CoRR abs/2409.11566 (2024)