4 citations · 7 across the 6 of their papers we have counts for
6 papers
Nominal Sets in Rocq
Fabrício Sanches Paranhos, Daniel Ventura
Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition o…
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia, Daniel Ventura, David Monniaux +1
This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by th…
Node Replication: Theory And Practice
Delia Kesner, Loïc Peyrot, Daniel Ventura
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-b…
A Subexponential View of Domains in Session Types
Daniele Nantes, Carlos Olarte, Daniel Ventura
Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections bet…
A Quantitative Understanding of Pattern Matching
Sandra Alves, Delia Kesner, Daniel Ventura
This paper shows that the recent approach to quantitative typing systems for programming languages can be extended to pattern matching features. Indeed, we define two resource awar…
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Daniel Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
The lambda-calculus with de Bruijn indices assembles each alpha-class of lambda-terms in a unique term, using indices instead of variable names. Intersection types provide finitary…