19 citations · 37 across the 5 of their papers we have counts for
1 paper · 1 filter
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…