Typechecking dependently sorted nominal signatures
Resumen:
The authors present a type-checker algorithm for Dependently Sorted Nominal Signatures. They prove its correctness and completeness with respect the sorting system.
| 2025 | |
| ANII FCE_1_2019_1_156630 | |
|
NOMINAL TERMS TYPE-CHEKING DEPENDENT TYPES |
|
| Inglés | |
| Universidad ORT Uruguay | |
| RAD | |
|
https://hdl.handle.net/20.500.11968/7202
http://hdl.handle.net/20.500.11968/7202 |
|
| Acceso abierto | |
| Accesso embargado |
