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
Faggian, Claudia; Guerrieri, Giulio; de’ Liguoro, Ugo; Treglia, Riccardo On reduction and normalization in the computational core. (English) Zbl 1512.68129 Math. Struct. Comput. Sci. 32, No. 7, 934-981 (2022). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Faggian} et al., Math. Struct. Comput. Sci. 32, No. 7, 934--981 (2022; Zbl 1512.68129) 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
Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob Mixin composition synthesis based on intersection types. (English) Zbl 1433.03034 Log. Methods Comput. Sci. 14, No. 1, Paper No. 18, 37 p. (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{J. Bessai} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 18, 37 p. (2018; Zbl 1433.03034) Full Text: DOI arXiv
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo Intersection types for the \(\lambda\mu\)-calculus. (English) Zbl 1459.03018 Log. Methods Comput. Sci. 14, No. 1, Paper No. 2, 61 p. (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 2, 61 p. (2018; Zbl 1459.03018) Full Text: DOI arXiv
De’Liguoro, Ugo The approximation theorem for the \(\Lambda_{\mu}\)-calculus. (English) Zbl 1423.03052 Math. Struct. Comput. Sci. 27, No. 5, 560-580 (2017). MSC: 03B40 PDFBibTeX XMLCite \textit{U. De'Liguoro}, Math. Struct. Comput. Sci. 27, No. 5, 560--580 (2017; Zbl 1423.03052) Full Text: DOI
Dougherty, Daniel J.; de’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude A realizability interpretation for intersection and union types. (English) Zbl 1485.03030 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 187-205 (2016). MSC: 03B40 PDFBibTeX XMLCite \textit{D. J. Dougherty} et al., Lect. Notes Comput. Sci. 10017, 187--205 (2016; Zbl 1485.03030) Full Text: DOI HAL
Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Chen, Tzu-Chun; De’Liguoro, Ugo; Rehof, Jakob Mixin composition synthesis based on intersection types. (English) Zbl 1433.03035 Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 76-91 (2015). MSC: 03B40 PDFBibTeX XMLCite \textit{J. Bessai} et al., LIPIcs -- Leibniz Int. Proc. Inform. 38, 76--91 (2015; Zbl 1433.03035) Full Text: DOI
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo Characterisation of strongly normalising \(\lambda\mu\)-terms. (English) Zbl 1464.03013 Graham-Lengrand, Stéphane (ed.) et al., Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 121, 1-17 (2013). MSC: 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 121, 1--17 (2013; Zbl 1464.03013) Full Text: arXiv Link
Geuvers, Herman (ed.); de’Liguoro, Ugo (ed.) Fourth workshop on classical logic and computation, Warwick, England, July 8, 2012. Proceedings. (English) Zbl 1391.03008 Electronic Proceedings in Theoretical Computer Science (EPTCS) 97. Waterloo: Open Publishing Association (OPA). 62 p., open access (2012). MSC: 03-06 03B40 03B70 00B25 PDFBibTeX XMLCite \textit{H. Geuvers} (ed.) and \textit{U. de'Liguoro} (ed.), Fourth workshop on classical logic and computation, Warwick, England, July 8, 2012. Proceedings. Waterloo: Open Publishing Association (OPA) (2012; Zbl 1391.03008) Full Text: DOI arXiv 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
van Bakel, Steffen; de’Liguoro, Ugo Logical equivalence for subtyping object and recursive types. (English) Zbl 1136.68018 Theory Comput. Syst. 42, No. 3, 306-348 (2008). MSC: 68N18 68N19 03B70 PDFBibTeX XMLCite \textit{S. van Bakel} and \textit{U. de'Liguoro}, Theory Comput. Syst. 42, No. 3, 306--348 (2008; Zbl 1136.68018) Full Text: DOI Link
de’Liguoro, Ugo Subtyping in logical form. (English) Zbl 1270.03033 van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 72-87 (2003). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{U. de'Liguoro}, Electron. Notes Theor. Comput. Sci. 70, No. 1, 72--87 (2003; Zbl 1270.03033) Full Text: DOI
de’Liguoro, Ugo Characterizing convergent terms in object calculi via intersection types. (English) Zbl 0981.03021 Abramsky, Samson (ed.), Typed lambda calculi and applications. 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2044, 315-328 (2001). MSC: 03B40 68N18 68N30 PDFBibTeX XMLCite \textit{U. de'Liguoro}, Lect. Notes Comput. Sci. 2044, 315--328 (2001; Zbl 0981.03021) Full Text: Link
Berardi, Stefano; de’Liguoro, Ugo Total functionals and well-founded strategies. (Extended abstract). (English) Zbl 0932.03014 Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 54-68 (1999). MSC: 03B40 91A80 PDFBibTeX XMLCite \textit{S. Berardi} and \textit{U. de'Liguoro}, Lect. Notes Comput. Sci. 1581, 54--68 (1999; Zbl 0932.03014)
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo Intersection types, \(\lambda\)-models, and Böhm trees. (English) Zbl 0946.03016 Takahashi, Masako (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 45-97 (1998). Reviewer: Andrea Cantini (Firenze) MSC: 03B40 03-02 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., MSJ Mem. 2, 45--97 (1998; Zbl 0946.03016)
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo A filter model for concurrent \(\lambda\)-calculus. (English) Zbl 0916.03017 SIAM J. Comput. 27, No. 5, 1376-1419 (1998). Reviewer: M.Hofmann MSC: 03B40 68Q55 03G10 68N15 68Q10 03B70 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., SIAM J. Comput. 27, No. 5, 1376--1419 (1998; Zbl 0916.03017) Full Text: DOI
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. (English) Zbl 0926.68023 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 3-4, 193-250 (1997). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{F. Alessi} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 3--4, 193--250 (1997; Zbl 0926.68023)
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo Filter models for conjunctive-disjunctive \(\lambda\)-calculi. (English) Zbl 0874.03015 Theor. Comput. Sci. 170, No. 1-2, 83-128 (1996). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 170, No. 1--2, 83--128 (1996; Zbl 0874.03015) Full Text: DOI
de’Liguoro, Ugo; Piperno, Adolfo Nondeterministic extensions of untyped \(\lambda\)-calculus. (English) Zbl 1096.03502 Inf. Comput. 122, No. 2, 149-177 (1995). MSC: 03B40 68Q55 68Q85 68Q10 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{A. Piperno}, Inf. Comput. 122, No. 2, 149--177 (1995; Zbl 1096.03502) Full Text: DOI
Alessi, F.; Dezani-Ciancaglini, M.; de’Liguoro, U. May and must convergency in concurrent \(\lambda \)-calculus (extended abstract). (English) Zbl 1493.68079 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 211-220 (1994). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{F. Alessi} et al., Lect. Notes Comput. Sci. 841, 211--220 (1994; Zbl 1493.68079) Full Text: DOI
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Combining type disciplines. (English) Zbl 0813.03009 Ann. Pure Appl. Logic 66, No. 3, 197-230 (1994). Reviewer: N.Bernard (Le Bourget du Lac) MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{F. Cardone} et al., Ann. Pure Appl. Logic 66, No. 3, 197--230 (1994; Zbl 0813.03009) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo Fully abstract semantics for concurrent \(\lambda\)-calculus. (English) Zbl 0942.03509 Hagiya, Masami (ed.) et al., Theoretical aspects of computer software. 2nd international Symposium TACS ’94, Sendai, Japan, April 19-22, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 789, 16-35 (1994). MSC: 03B40 68Q55 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Lect. Notes Comput. Sci. 789, 16--35 (1994; Zbl 0942.03509)