Wykład monograficzny (Programowanie funkcyjne i teoria kategorii)