Lawvere, Functorial semantics of algebraic theories (0)

by F William
Venue:Proc. Nat. Acad. Sci U.S.A