4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Ana Neri, Rui Soares Barbosa, José N. Oliveira
Based on the connection between the categorical derivation of classical programs from specifications and the category-theoretic approach to quantum physics, this paper contributes…