Category theory and computer sciencede Eugenio MoggiMateriasMathematicsCategories (Mathematics)CongressesComputer scienceEdiciones (1)Category Theory and Computer Science (1997)Springer · inglés · ISBN 9783540634553Más obras de Eugenio MoggiAAn abstract view of programming languageAn abstract view of programming languageCComputational lambda-calculus and monadsComputational lambda-calculus and monadsCategory theory and computer science
PProceedings of the 10th Italian Conference on Theoretical CoProceedings of the 10th Italian Conference on Theoretical Computer Science