Guidi, Ferruccio (2015) Extending the Applicability Condition in the Formal System \lambda\delta. [Preprint]
Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]