473 citations · 482 across the 2 of their papers we have counts for
1 paper · 1 filter
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…