16ª aula

3 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia

The term algebras of a certain type over sets of variables. The universal mapping property. Resolution of some exercises.