2025-07-112025-07-112025Ferná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.2075-2180https://hdl.handle.net/20.500.11968/7202Versión aceptada para publicación.The authors present a type-checker algorithm for Dependently Sorted Nominal Signatures. They prove its correctness and completeness with respect the sorting system.7 p.PDFAccesso embargadoNOMINAL TERMSTYPE-CHEKINGDEPENDENT TYPESArtículo