de’Liguoro, Ugo; Treglia, Riccardo From semantics to types: the case of the imperative \(\lambda\)-calculus. (English) Zbl 07735130 Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023). MSC: 68N18 03B40 18C50 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023; Zbl 07735130) Full Text: DOI arXiv
de’Liguoro, Ugo; Treglia, Riccardo The untyped computational \(\lambda \)-calculus and its intersection type discipline. (English) Zbl 1464.68056 Theor. Comput. Sci. 846, 141-159 (2020). MSC: 68N18 03B40 18C15 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 846, 141--159 (2020; Zbl 1464.68056) Full Text: DOI Link
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo A filter model for the \(\lambda \mu \)-calculus (extended abstract). (English) Zbl 1331.03021 Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 213-228 (2011). MSC: 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Lect. Notes Comput. Sci. 6690, 213--228 (2011; Zbl 1331.03021) Full Text: DOI