المؤلفون: Dahlqvist, Fredrik, Neves, Renato Jorge Araújo

المساهمون: Universidade do Minho

مصطلحات موضوعية: λ-calculus, graded modal type, quantitative equational theory, enriched category theory, Ciências Naturais::Ciências da Computação e da Informação

وصف الملف: application/pdf

Relation: Dahlqvist, F., & Neves, R. (2023, November 23). A Complete V-Equational System for Graded lambda-Calculus. Electronic Notes in Theoretical Informatics and Computer Science. Episciences.org. http://doi.org/10.46298/entics.12299; 2969-2431; https://entics.episciences.org/12299

الاتاحة: https://hdl.handle.net/1822/89615

المؤلفون: Francesco Gavazzo, Cecilia Di Florio

المساهمون: Gavazzo, Francesco, Di Florio, Cecilia

مصطلحات موضوعية: quantitative rewriting, metric rewriting, modal graded rewriting, quantitative equational theory, quantalic relations, quantitative calculus of relations

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000910847500063; journal:PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES; https://hdl.handle.net/11568/1158293; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85146433894

الاتاحة: https://hdl.handle.net/11568/1158293

المؤلفون: Gavazzo F., Di Florio C.

المساهمون: Gavazzo, F., Di Florio, C.

مصطلحات موضوعية: metric rewriting, modal graded rewriting, quantalic relation, quantitative calculus of relation, quantitative equational theory, quantitative rewriting

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000910847500063; volume:7; issue:POPL; firstpage:1832; lastpage:1863; numberofpages:32; journal:PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES; https://hdl.handle.net/11577/3510766; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85146433894

الاتاحة: https://hdl.handle.net/11577/3510766
https://doi.org/10.1145/3571256