Nominal Lawvere Theories: A category the
β
Clouston, Ranald
π
Article
π
2014
π
Elsevier Science
π
English
β 411 KB