Altenkirch, T., Barbanera, F., Damiani, F., & de'Liguoro, U. (2026). Logics and Type Theory: Essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday.
Chicago Style (17th ed.) CitationAltenkirch, Thorsten, Franco Barbanera, Ferruccio Damiani, and Ugo de'Liguoro. Logics and Type Theory: Essays Dedicated to Stefano Berardi on the Occasion of His 1000000th Birthday. 2026.
MLA (9th ed.) CitationAltenkirch, Thorsten, et al. Logics and Type Theory: Essays Dedicated to Stefano Berardi on the Occasion of His 1000000th Birthday. 2026.
Warning: These citations may not always be 100% accurate.