CCategories, Types, and StructuresCategories, Types, and Structuresde Andrea Asperti, Giuseppe LongoMateriasProgramming languages (electronic computers)Categories (mathematics)Ediciones (1)Categories, Types, and Structures (1990)MIT Press · ISBN 9780262121453Más obras de Andrea AspertiMMathematical Knowledge ManagementMathematical Knowledge Management