13 citations · 13 across the 1 of their papers we have counts for
1 paper
Rob Arthan, Ursula Martin, Erik A. Mathiesen +1
This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced…