Eugenio Moggi · 7 obras en el catálogoObrasAAn abstract view of programming languageAn abstract view of programming languageCComputational lambda-calculus and monadsComputational lambda-calculus and monadsCategory theory and computer scienceCategory theory and computer scienceProceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07TTheoretical Computer ScienceTheoretical Computer SciencePProceedings of the 10th Italian Conference on Theoretical CoProceedings of the 10th Italian Conference on Theoretical Computer Science
PProceedings of the 10th Italian Conference on Theoretical CoProceedings of the 10th Italian Conference on Theoretical Computer Science