Daniel Ventura

15 papers B 1C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Nominal Sets in Rocq.
LSFA
Fabrício Sanches Paranhos, Daniel Ventura
2024 J jnl
Node Replication: Theory And Practice.
Log. Methods Comput. Sci.
Delia Kesner, Loïc Peyrot, Daniel Ventura
2024 — ed.
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023.
LSFA/HCVS
Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
2022 J jnl
Node Replication: Theory And Practice.
CoRR
Delia Kesner, Loïc Peyrot, Daniel Ventura
2022 C conf
Quantitative Weak Linearisation.
ICTAC
Sandra Alves, Daniel Ventura
2021 — conf
A subexponential view of domains in session types.
LSFA
Daniele Nantes, Carlos Olarte, Daniel Ventura
2021 B conf
The Spirit of Node Replication.
FoSSaCS
Delia Kesner, Loïc Peyrot, Daniel Ventura
2019 — conf
A Quantitative Understanding of Pattern Matching.
TYPES
Sandra Alves, Delia Kesner, Daniel Ventura
2019 J jnl
A Quantitative Understanding of Pattern Matching.
CoRR
Sandra Alves, Delia Kesner, Daniel Ventura
2019 J jnl
A resource aware semantics for a focused intuitionistic calculus.
Math. Struct. Comput. Sci.
Delia Kesner, Daniel Ventura
2017 J jnl
Non-idempotent intersection types for the Lambda-Calculus.
Log. J. IGPL
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
2015 C conf
A Resource Aware Computational Interpretation for Herbelin's Syntax.
ICTAC
Delia Kesner, Daniel Ventura
2015 — conf
Strong Normalization through Intersection Types and Memory.
LSFA
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
2014 — conf
Formalizing a Named Explicit Substitutions Calculus in Coq.
CICM Workshops
Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura
2014 — conf
Quantitative Types for the Linear Substitution Calculus.
IFIP TCS
Delia Kesner, Daniel Ventura