$n$Lab category over an operad
Salvatore Tringali, Plots and their applications - Part I: foundations, arxiv/1311.3524
Deductive system in
Created on November 19, 2013 at 03:56:22. See the history of this page for a list of all contributions to it.