Typechecking dependently sorted nominal signatures
No Thumbnail Available
Date
2025
Publisher
DOI
ISSN
2075-2180
ISBN
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.