Guset User Download PDF
  • 53
  • 0
1 Physics, Topology, Logic and Computation: A Rosetta ...
Meanwhile, quite separately, logicians had begun using categories where the objects represent propositions and the morphisms represent proofs. The idea is that a ...
View Text Version Category : 0
  • 0
  • Embed
  • Share
  • Upload
Related publications