Andrea Asperti · 4 obras en el catálogoObrasMMathematical Knowledge ManagementMathematical Knowledge ManagementCategories, types, and structures1991The optimal implementation of functional programming languages1998CCategories, Types, and StructuresCategories, Types, and Structures