37 citations · 96 across the 19 of their papers we have counts for
1 paper · 2 filters
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…