APA (7th ed.) Citation

Stolze, C., Liquori, L., (UMR_8243)), I. d. R. e. I. F. (., (UPCité), C. N. d. l. R. S. P. C., (KAIROS), L. T. f. F. E. S. D., (CRISAM), C. I. d. C. d., . . . (UniCA), U. N. S. A. C. d. (2020). A Type Checker for a Logical Framework with Union and Intersection Types. Canadian Journal of Zoology, 77(11), 1783.

Chicago Style (17th ed.) Citation

Stolze, Claude, et al. "A Type Checker for a Logical Framework with Union and Intersection Types." Canadian Journal of Zoology 77, no. 11 (2020): 1783.

MLA (9th ed.) Citation

Stolze, Claude, et al. "A Type Checker for a Logical Framework with Union and Intersection Types." Canadian Journal of Zoology, vol. 77, no. 11, 2020, p. 1783.