HYVERNAT, P. (2025). TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES. Logical Methods in Computer Science (LMCS), 21(3), 1. https://doi.org/10.46298/LMCS-21(3:19)2025
Chicago Style (17th ed.) CitationHYVERNAT, PIERRE. "TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES." Logical Methods in Computer Science (LMCS) 21, no. 3 (2025): 1. https://doi.org/10.46298/LMCS-21(3:19)2025.
MLA (9th ed.) CitationHYVERNAT, PIERRE. "TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES." Logical Methods in Computer Science (LMCS), vol. 21, no. 3, 2025, p. 1, https://doi.org/10.46298/LMCS-21(3:19)2025.
Warning: These citations may not always be 100% accurate.
