Typechecking dependently sorted nominal signatures

Fernández, Maribel - Pagano, Miguel - Szasz, Nora - Tasistro, Álvaro

Resumen:

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

Detalles Bibliográficos
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
_version_ 1874659256634966016
author Fernández, Maribel
author2 Pagano, Miguel
Szasz, Nora
Tasistro, Álvaro
author2_role author
author
author
author_facet Fernández, Maribel
Pagano, Miguel
Szasz, Nora
Tasistro, Álvaro
author_role author
collection RAD
dc.creator.none.fl_str_mv Fernández, Maribel
Pagano, Miguel
Szasz, Nora
Tasistro, Álvaro
dc.date.accessioned.none.fl_str_mv 2025-07-11T19:48:11Z
dc.date.available.none.fl_str_mv 2025-07-11T19:48:11Z
dc.date.issued.none.fl_str_mv 2025
dc.description.abstract.none.fl_txt_mv The authors present a type-checker algorithm for Dependently Sorted Nominal Signatures. They prove its correctness and completeness with respect the sorting system.
dc.description.none.fl_txt_mv Versión aceptada para publicación.
dc.description.sponsorship.none.fl_txt_mv ANII FCE_1_2019_1_156630
dc.format.extent.none.fl_str_mv 7 p.
dc.format.mimetype.none.fl_str_mv PDF
dc.identifier.citation.none.fl_str_mv 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.
dc.identifier.issn.none.fl_str_mv 2075-2180
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.11968/7202
http://hdl.handle.net/20.500.11968/7202
dc.language.iso.none.fl_str_mv eng
dc.rights.license.none.fl_str_mv Accesso embargado
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv 10.4204/EPTCS
reponame:RAD
instname:Universidad ORT Uruguay
instacron:Universidad ORT
dc.source.title.none.fl_str_mv Electronic Proceedings in Theoretical Computer Science
dc.subject.none.fl_str_mv NOMINAL TERMS
TYPE-CHEKING
DEPENDENT TYPES
dc.title.none.fl_str_mv Typechecking dependently sorted nominal signatures
dc.type.none.fl_str_mv Artículo
info:eu-repo/semantics/article
dc.type.version.none.fl_str_mv Versión final del autor
info:eu-repo/semantics/publishedVersion
description Versión aceptada para publicación.
eu_rights_str_mv openAccess
format article
id RAD_fd6fdf9732ae2b4479e2e53520e1bf79
identifier_str_mv 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.
2075-2180
instacron_str Universidad ORT
institution Universidad ORT
instname_str Universidad ORT Uruguay
language eng
network_acronym_str RAD
network_name_str RAD
oai_identifier_str oai:rad.ort.edu.uy:20.500.11968/7202
publishDate 2025
reponame_str RAD
repository.mail.fl_str_mv rodriguez_v@ort.edu.uy
repository.name.fl_str_mv RAD - Universidad ORT Uruguay
repository_id_str 3927
rights_invalid_str_mv Accesso embargado
spelling Fernández, MaribelPagano, MiguelSzasz, NoraTasistro, Álvaro2025-07-11T19:48:11Z2025-07-11T19:48:11Z2025Ferná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/7202http://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.ANII FCE_1_2019_1_1566307 p.PDFenginfo:eu-repo/semantics/openAccessAccesso embargado10.4204/EPTCSreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTElectronic Proceedings in Theoretical Computer ScienceNOMINAL TERMSTYPE-CHEKINGDEPENDENT TYPESTypechecking dependently sorted nominal signaturesArtículoinfo:eu-repo/semantics/articleVersión final del autorinfo:eu-repo/semantics/publishedVersionKing’s College London, UKUniversidad Nacional de Córdoba, ArgentinaUniversidad ORT Uruguay20.500.11968/72022025-07-11 16:54:28.391metadata.onlyoai:rad.ort.edu.uy:20.500.11968/7202https://rad.ort.edu.uyhttps://rad.ort.edu.uy/Universidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272025-07-11T19:54:28RAD - Universidad ORT Uruguayfalse
spellingShingle Typechecking dependently sorted nominal signatures
Fernández, Maribel
NOMINAL TERMS
TYPE-CHEKING
DEPENDENT TYPES
status_str publishedVersion
title Typechecking dependently sorted nominal signatures
title_full Typechecking dependently sorted nominal signatures
title_fullStr Typechecking dependently sorted nominal signatures
title_full_unstemmed Typechecking dependently sorted nominal signatures
title_short Typechecking dependently sorted nominal signatures
title_sort Typechecking dependently sorted nominal signatures
topic NOMINAL TERMS
TYPE-CHEKING
DEPENDENT TYPES
url https://hdl.handle.net/20.500.11968/7202
http://hdl.handle.net/20.500.11968/7202

Resultados similares