Seguir
Pedro Abreu
Pedro Abreu
Outros nomesPedro da Costa Abreu Júnior
Purdue University
Email confirmado em purdue.edu - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.