26 Aug
1997
26 Aug
'97
1:41 p.m.
I should clarify. Proofs with cuts correspond to composable paths. If you like, to proofs in the graph (or free category) of a category. Michael