APA (7th ed.) Citation
(2014). Constructing categories and setoids of setoids in type theory. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Constructing Categories and Setoids of Setoids in Type Theory." Logical Methods in Computer Science 2014.
MLA (9th ed.) Citation
"Constructing Categories and Setoids of Setoids in Type Theory." Logical Methods in Computer Science, 2014.
Warning: These citations may not always be 100% accurate.