Cite

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.

MLA

Kurz, Alexander, and Daniela Petrişan. “Functorial Coalgebraic Logic: The Case of Many-Sorted Varieties.” ENTCS: Electronic Notes in Theoretical Computer Science, vol. 203, no. 5, June 2008, pp. 175–94. EBSCOhost, https://doi.org/10.1016/j.entcs.2008.05.025.



APA

Kurz, A., & Petrişan, D. (2008). Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. ENTCS: Electronic Notes in Theoretical Computer Science, 203(5), 175–194. https://doi.org/10.1016/j.entcs.2008.05.025



Chicago

Kurz, Alexander, and Daniela Petrişan. 2008. “Functorial Coalgebraic Logic: The Case of Many-Sorted Varieties.” ENTCS: Electronic Notes in Theoretical Computer Science 203 (5): 175–94. doi:10.1016/j.entcs.2008.05.025.