de'Liguoro, U., & Treglia, R. (2021). Intersection Types for a Computational Lambda-Calculus with Global State.
Chicago Style (17th ed.) Citationde'Liguoro, Ugo, and Riccardo Treglia. Intersection Types for a Computational Lambda-Calculus with Global State. 2021.
MLA (9th ed.) Citationde'Liguoro, Ugo, and Riccardo Treglia. Intersection Types for a Computational Lambda-Calculus with Global State. 2021.
Warning: These citations may not always be 100% accurate.