Citations de notices
Style de citation APA (7e éd.)
Guerrieri, G., Paolini, L., & Rocca, S. R. D. (2017). Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Logical Methods in Computer Science e.V.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation Chicago (17e éd.)
Guerrieri, Giulio, Luca Paolini, et Simona Ronchi Della Rocca. Standardization and Conservativity of a Refined Call-by-Value Lambda-Calculus. Logical Methods in Computer Science e.V, 2017.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation MLA (9e éd.)
Guerrieri, Giulio, et al. Standardization and Conservativity of a Refined Call-by-Value Lambda-Calculus. Logical Methods in Computer Science e.V, 2017.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Attention : ces citations peuvent ne pas être correctes à 100%.