Factoring Derivation Spaces via Intersection Types
Autores: Pablo Barenbaum, Gonzalo Ciruelos
Lecture notes in computer science
2018
Citas: 0
Citas por Año
Esta publicación aún no registra citas anuales en la base de datos.
Detalle de publicaciones citantes no descargado
Esta publicación registra 0 citas acumuladas (métrica provista por OpenAlex), pero sus artículos citantes individuales aún no han sido importados a la base de datos local.
El PDF fue subido pero no se pudieron extraer referencias ni figuras del documento.