1 citations · 1 across the 2 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…