Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation, Linearity : an analytic tool in the study of complexity and semantics of programming languages
Marco Gaboardi
Documents
Savoirs
Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation, Linearity : an analytic tool in the study of complexity and semantics of programming languages