Dahlqvist, F., & Neves, R. (2023). A Complete V-Equational System for Graded lambda-Calculus.
Chicago-Zitierstil (17. Ausg.)Dahlqvist, Fredrik, und Renato Neves. A Complete V-Equational System for Graded Lambda-Calculus. 2023.
MLA-Zitierstil (9. Ausg.)Dahlqvist, Fredrik, und Renato Neves. A Complete V-Equational System for Graded Lambda-Calculus. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.