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
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
Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina A type assignment system for game semantics. (English) Zbl 1146.68048 Theor. Comput. Sci. 398, No. 1-3, 150-169 (2008). MSC: 68Q55 03B40 PDFBibTeX XMLCite \textit{P. Di Gianantonio} et al., Theor. Comput. Sci. 398, No. 1--3, 150--169 (2008; Zbl 1146.68048) Full Text: DOI
Alessi, Fabio An irregular filter model. (English) Zbl 1146.68046 Theor. Comput. Sci. 398, No. 1-3, 129-149 (2008). MSC: 68Q55 03B40 68N18 PDFBibTeX XMLCite \textit{F. Alessi}, Theor. Comput. Sci. 398, No. 1--3, 129--149 (2008; Zbl 1146.68046) Full Text: DOI
Berardi, Stefano; de’Liguoro, Ugo Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca. (English) Zbl 1138.01318 Theor. Comput. Sci. 398, No. 1-3, 1-11 (2008). MSC: 01A70 PDFBibTeX XMLCite \textit{S. Berardi} and \textit{U. de'Liguoro}, Theor. Comput. Sci. 398, No. 1--3, 1--11 (2008; Zbl 1138.01318) Full Text: DOI
Alessi, Fabio; Severi, Paula Recursive domain equations of filter models. (English) Zbl 1133.03006 Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 124-135 (2008). MSC: 03B40 68Q55 PDFBibTeX XMLCite \textit{F. Alessi} and \textit{P. Severi}, Lect. Notes Comput. Sci. 4910, 124--135 (2008; Zbl 1133.03006) Full Text: DOI
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola Intersection types and lambda models. (English) Zbl 1088.68031 Theor. Comput. Sci. 355, No. 2, 108-126 (2006). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{F. Alessi} et al., Theor. Comput. Sci. 355, No. 2, 108--126 (2006; Zbl 1088.68031) Full Text: DOI
Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y. Compositional characterisations of \(\lambda\)-terms using intersection types. (English) Zbl 1077.68017 Theor. Comput. Sci. 340, No. 3, 459-495 (2005). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 340, No. 3, 459--495 (2005; Zbl 1077.68017) Full Text: DOI