Functorial Semantics of Algebraic Theori
β
F. William Lawvere
π
Article
π
1963
π
National Academy of Sciences
π
English
β 674 KB