Dahlqvist, F., & Neves, R. (2023). A Complete V-Equational System for Graded lambda-Calculus.
Citazione stile Chigago Style (17a edizione)Dahlqvist, Fredrik, e Renato Neves. A Complete V-Equational System for Graded Lambda-Calculus. 2023.
Citatione MLA (9a ed.)Dahlqvist, Fredrik, e Renato Neves. A Complete V-Equational System for Graded Lambda-Calculus. 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.