( en | de | ru )

 

Disambiguation of "Ventura, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Formalizing a Named Explicit Substitutions Calculus in Coq.

, , and . CICM Workshops, volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roberto Ventura

Ventura Leite

Maria Ventura

Rodolfo Ventura

Joan Ventura-Jaume

 

Other publications of authors with the same name

A Resource Aware Computational Interpretation for Herbelin's Syntax., and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 388-403. Springer, (2015)Node Replication: Theory And Practice., , and . Log. Methods Comput. Sci., (2024)Quantitative Weak Linearisation., and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 78-95. Springer, (2022)The Spirit of Node Replication., , and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 344-364. Springer, (2021)Quantitative Types for the Linear Substitution Calculus., and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 296-310. Springer, (2014)Node Replication: Theory And Practice., , and . CoRR, (2022)A Quantitative Understanding of Pattern Matching., , and . TYPES, volume 175 of LIPIcs, page 3:1-3:36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Formalizing a Named Explicit Substitutions Calculus in Coq., , and . CICM Workshops, volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)A subexponential view of domains in session types., , and . LSFA, volume 357 of EPTCS, page 93-111. (2021)Non-idempotent intersection types for the Lambda-Calculus., , and . Log. J. IGPL, 25 (4): 431-464 (2017)