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), I. S. A. -. M., . . . (UCA), C. U. C. d. C. d. (2020). A Type Checker for a Logical Framework with Union and Intersection Types. HAL CCSD.
Chicago Style (17th ed.) CitationStolze, Claude, et al. A Type Checker for a Logical Framework with Union and Intersection Types. HAL CCSD, 2020.
MLA (9th ed.) CitationStolze, Claude, et al. A Type Checker for a Logical Framework with Union and Intersection Types. HAL CCSD, 2020.
Warning: These citations may not always be 100% accurate.