( en | de | ru )

 

Disambiguation of "Ventura, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
A resource aware semantics for a focused intuitionistic calculus.

, and . Math. Struct. Comput. Sci., 29 (1): 93-126 (2019)

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.

Ventura Leite

Roberto Ventura

Maria Ventura

Rodolfo Ventura

Joan Ventura-Jaume

 

Other publications of authors with the same name

A subexponential view of domains in session types., , and . LSFA, volume 357 of EPTCS, page 93-111. (2021)Formalizing a Named Explicit Substitutions Calculus in Coq., , and . CICM Workshops, volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Node Replication: Theory And Practice., , and . Log. Methods Comput. Sci., (2024)A Resource Aware Computational Interpretation for Herbelin's Syntax., and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 388-403. Springer, (2015)A resource aware semantics for a focused intuitionistic calculus., and . Math. Struct. Comput. Sci., 29 (1): 93-126 (2019)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)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)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)