Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
scientific article; zbMATH DE number 5292213
scientific article