Strong normalization through idempotent intersection types: a new syntactical approach
Volver al Detalle
2025
Citas: 0
Origen de Colaboraciones Internacionales
Colaboradores
| Nombre | Ubicación / País |
|---|---|
| Pablo Barenbaum | France |
| Simona Ronchi Della Rocca | Desconocido |
| Cristian Sottile | Argentina |