de'Liguoro, U., & Treglia, R. (2021). Intersection Types for a Computational Lambda-Calculus with Global State.
Style de citation Chicago (17e éd.)de'Liguoro, Ugo, et Riccardo Treglia. Intersection Types for a Computational Lambda-Calculus with Global State. 2021.
Style de citation MLA (9e éd.)de'Liguoro, Ugo, et Riccardo Treglia. Intersection Types for a Computational Lambda-Calculus with Global State. 2021.
Attention : ces citations peuvent ne pas être correctes à 100%.