Barenbaum, P., Della Rocca, S. R., & Sottile, C. (2025). Strong normalization through idempotent intersection types: A new syntactical approach.
Style de citation Chicago (17e éd.)Barenbaum, Pablo, Simona Ronchi Della Rocca, et Cristian Sottile. Strong Normalization Through Idempotent Intersection Types: A New Syntactical Approach. 2025.
Style de citation MLA (9e éd.)Barenbaum, Pablo, et al. Strong Normalization Through Idempotent Intersection Types: A New Syntactical Approach. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.