Reasoning About Call-by-need by Means of Types von Kesner, Delia

Volltext

A Strong Bisimulation for a Classical Term Calculus von Bonelli, Eduardo, Kesner, Delia, Viso, Andrés

Volltext

Node Replication: Theory And Practice von Kesner, Delia, Peyrot, Loïc, Ventura, Daniel

Volltext

Non-idempotent types for classical calculi in natural deduction style von Delia Kesner, Pierre Vial

Volltext

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications von Santo, José Espírito, Kesner, Delia, Peyrot, Loïc

Volltext

Solvability = Typability + Inhabitation von Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca

Volltext

A Theory of Explicit Substitutions with Safe and Full Composition von Kesner, Delia

Volltext

Inhabitation for Non-idempotent Intersection Types von Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca

Volltext

A Computational Interpretation of Girard's Intuitionistic Proof-Nets: Invited Presentation at the Twelfth International Workshop on Computing with Terms and Graphs von Kesner, Delia

Volltext

A fine-grained computational interpretation of Girard’s intuitionistic proof-nets von Kesner, Delia

Volltext

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus von Accattoli, Beniamino, Kesner, Delia

Volltext

Quantitative Types: From Foundations to Applications: Invited Presentation at the Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types... von Kesner, Delia

Volltext

A Fresh View of Call-by-Need: Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice von Kesner, Delia

Volltext

A resource aware semantics for a focused intuitionistic calculus von KESNER, DELIA, VENTURA, DANIEL

Volltext

Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA) von Finger, Marcelo, Kesner, Delia

Volltext

The bang calculus revisited von Bucciarelli, Antonio, Kesner, Delia, Ríos, Alejandro, Viso, Andrés

Volltext

Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework von Arrial, Victor, Guerrieri, Giulio, Kesner, Delia

Volltext

Non-idempotent intersection types for the Lambda-Calculus von Bucciarelli, Antonio, Kesner, Delia, Ventura, Daniel

Volltext

Tight typings and split bounds, fully developed von ACCATTOLI, BENIAMINO, GRAHAM-LENGRAND, STÉPHANE, KESNER, DELIA

Volltext

The Structural λ-Calculus von Accattoli, Beniamino, Kesner, Delia

Volltext