Home > People > Profile
1 Publications
Nazareno Aguirre, Tom Maibaum, Paulo Alencar
in: Algebra, meaning, and computation, Berlin,
