Strong normalization through idempotent intersection types: a new syntactical approach
Autores: Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Electronic Notes in Theoretical Informatics and Computer Science
2025
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.