Hybrid Intersection Types for PCF (Extended Version)
Autores: Pablo Barenbaum, Delia Kesner, Mariana Milicich
arXiv (Cornell University)
2024
Citas: 1
Citas por Año
Detalle de publicaciones citantes no descargado
Esta publicación registra 1 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.