Lista de

2016
1357
Electronic Notes in Theoretical Computer Science
1
"Type Soundness for Path Polymorphism" (2016) Viso, A.; Bonelli, E.; Ayala-Rincón, M. Electronic Notes in Theoretical Computer Science. 323:235-251