Showing 1–1 of 1 results for author: Conchúir, S Ó

Milner's Lambda-Calculus with Partial Substitutions

Authors: Delia Kesner, Shane Ó Conchúir

Abstract: We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection ty** discipline. The results on terms transfer to Milner's bigraphical model of the calculus. We relate Milner's calculus to calculi with definitions, to calculi… ▽ More We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection ty** discipline. The results on terms transfer to Milner's bigraphical model of the calculus. We relate Milner's calculus to calculi with definitions, to calculi with explicit substitutions, and to MELL Proof-Nets. △ Less

Submitted 20 December, 2023; originally announced December 2023.