Pigozzi, Don A mathematical life. (English) Zbl 1396.03003 Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 1-51 (2018). MSC: 03-03 01A70 PDFBibTeX XMLCite \textit{D. Pigozzi}, Outst. Contrib. Log. 16, 1--51 (2018; Zbl 1396.03003) Full Text: DOI
Salibra, A. On the algebraic models of lambda calculus. (English) Zbl 0949.68048 Theor. Comput. Sci. 249, No. 1, 197-240 (2000). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Salibra}, Theor. Comput. Sci. 249, No. 1, 197--240 (2000; Zbl 0949.68048) Full Text: DOI
Salibra, Antonino; Goldblatt, Robert A finite equational axiomatization of the functional algebras for the lambda calculus. (English) Zbl 0920.03025 Inf. Comput. 148, No. 1, 71-130 (1999). MSC: 03B40 03C05 03G25 PDFBibTeX XMLCite \textit{A. Salibra} and \textit{R. Goldblatt}, Inf. Comput. 148, No. 1, 71--130 (1999; Zbl 0920.03025) Full Text: DOI Link
Pigozzi, Don; Salibra, Antonino Lambda abstraction algebras: representation theorems. (English) Zbl 0874.68188 Theor. Comput. Sci. 140, No. 1, 5-52 (1995). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. Pigozzi} and \textit{A. Salibra}, Theor. Comput. Sci. 140, No. 1, 5--52 (1995; Zbl 0874.68188) Full Text: DOI
Pigozzi, Don; Salibra, Antonino The abstract variable-binding calculus. (English) Zbl 0836.03038 Stud. Log. 55, No. 1, 129-179 (1995). MSC: 03G15 PDFBibTeX XMLCite \textit{D. Pigozzi} and \textit{A. Salibra}, Stud. Log. 55, No. 1, 129--179 (1995; Zbl 0836.03038) Full Text: DOI