Stolze, C., Liquori, L., (UMR_8243)), I. d. R. e. I. F. (., (UP), C. N. d. l. R. S. d. P., (KAIROS), L. T. f. F. E. S. D., COMmunications, R., . . . (Inria), I. N. d. R. e. I. e. e. A. N. d. R. e. I. e. e. A. (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.