Sledovať
Delia Kesner
Delia Kesner
Professor in Computer Science, Université de Paris
Overená e-mailová adresa na: irif.fr - Domovská stránka
Názov
Citované v
Citované v
Rok
The Structural λ-Calculus
B Accattoli, D Kesner
International Workshop on Computer Science Logic, 381-395, 2010
1262010
Non-idempotent intersection types for the lambda-calculus
A Bucciarelli, D Kesner, D Ventura
Logic Journal of the IGPL 25 (4), 431-464, 2017
972017
Pure pattern calculus
B Jay, D Kesner
European Symposium on Programming, 100-114, 2006
892006
First-class patterns
B Jay, D Kesner
Journal of Functional Programming 19 (2), 191-225, 2009
822009
A nonstandard standardization theorem
B Accattoli, E Bonelli, D Kesner, C Lombardi
ACM SIGPLAN Notices 49 (1), 659-670, 2014
802014
Resource operators for λ-calculus
D Kesner, S Lengrand
Information and Computation 205 (4), 419-473, 2007
702007
The theory of calculi with explicit substitutions revisited
D Kesner
International Workshop on Computer Science Logic, 238-252, 2007
672007
A theory of explicit substitutions with safe and full composition
D Kesner
Logical Methods in Computer Science 5, 2009
662009
Simulating expansions without expansions
R Di Cosmo, D Kesner
Mathematical Structures in Computer Science 4 (3), 315-362, 1994
661994
Strong normalization of explicit substitutions via cut elimination in proof nets
R Di Cosmo, D Kesner
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 35-46, 1997
651997
A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object
RD Cosmo, D Kesner
International Colloquium on Automata, Languages, and Programming, 645-656, 1993
621993
Proof nets and explicit substitutions
R Di Cosmo, D Kesner, E Polonovski
Mathematical Structures in Computer Science 13 (3), 409-450, 2003
582003
Reasoning about call-by-need by means of types
D Kesner
International Conference on Foundations of Software Science and Computation …, 2016
492016
The inhabitation problem for non-idempotent intersection types
A Bucciarelli, D Kesner, S Ronchi Della Rocca
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014
492014
The Permutative λ-Calculus
B Accattoli, D Kesner
International Conference on Logic for Programming Artificial Intelligence …, 2012
472012
The bang calculus revisited
A Bucciarelli, D Kesner, A Ríos, A Viso
Information and Computation 293, 105047, 2023
462023
Quantitative types for the linear substitution calculus
D Kesner, D Ventura
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014
462014
A typed pattern calculus
D Kesner, L Puel, V Tannen
Information and Computation 124 (1), 32-61, 1996
461996
Tight typings and split bounds, fully developed
B Accattoli, S Graham-Lengrand, D Kesner
Journal of Functional Programming 30, e14, 2020
432020
Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions
D Kesner
International Conference on Rewriting Techniques and Applications, 184-199, 1996
401996
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20