Initial Algebra Specifications for Parametrized Data Types

Somos uma comunidade de intercâmbio. Por favor, ajude-nos com a subida 1 um novo documento ou um que queremos baixar:

Copie e cole esse script de incorporação para o local onde deseja incorporar