Seguir
Pedro Abreu
Pedro Abreu
Otros nombresPedro da Costa Abreu Júnior
Dirección de correo verificada de purdue.edu - Página principal
Título
Citado por
Citado por
Año
A Type-Based Approach to Divide-and-Conquer Recursion in Coq
P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump
Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023
22023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.