no code implementations • 14 Sep 2020 • John Baez, Bob Coecke
Applied Category Theory is a new conference series.
Logic in Computer Science
