Aula 31
28 Abril 2021, 11:30 • Maria João Antunes Dias Gouveia
The term algebra of type F over some set X. Examples. The determination of term operations on an algebra and its correspondence with the terms.
28 Abril 2021, 11:30 • Maria João Antunes Dias Gouveia
The term algebra of type F over some set X. Examples. The determination of term operations on an algebra and its correspondence with the terms.