Denotational semantics driven simplicial homology?

Davide Barbarossa

We look at the proofs of a fragment of Linear Logic as a whole: in fact, Linear Logic's coherent semantics interprets the proofs of a given formula $A$ as faces of an abstract simp…