TY  - RPRT
TI  - Milner's Lambda-Calculus with Partial Substitutions
AU  - Delia Kesner
AU  - Shane Ó Conchúir
PY  - 2023
UR  - https://arxiv.org/abs/2312.13270
ID  - 2312.13270
ER  -