37 citations · 96 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 9 cited
Milner's Lambda-Calculus with Partial Substitutions
Delia Kesner, Shane Ó Conchúir
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisa…
cs.PL2023
Quantitative Global Memory
Sandra Alves, Delia Kesner, Miguel Ramos
We show that recent approaches of static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-…