Typechecking dependently sorted nominal signatures

Abstract

The authors present a type-checker algorithm for Dependently Sorted Nominal Signatures. They prove its correctness and completeness with respect the sorting system.

En

10.4204/EPTCS

Thesis note

Thesis degree name

7 p.

Notes

Versión aceptada para publicación.

Subject

NOMINAL TERMS, TYPE-CHEKING, DEPENDENT TYPES

Type

Artículo

Access the full text

Citation

Fernández, M., Pagano, M., Szasz, N. & Tasistro, A. (2025). Typechecking dependently sorted nominal signatures. Electronic Proceedings in Theoretical Computer Science (forthcoming volume). International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. 7 p.

View in library

Rights license

Campus Centro
Cuareim 1451, Montevideo, Uruguay

Teléfono central: (598) 2902 1505
Campus Pocitos
Bvar. España 2633, Montevideo, Uruguay