PPT Slide

Programas Imperativos com entradas

Entradas = S*

Def. Um Programa Imperativo com entrada é um FUNTOR de S* em SETS.

S

S

(a Î S)

fa

construído a partir de um conjunto de instruções básicas por meio das

operações possíveis em um categoria distributiva.

Previous slide

Next slide

Back to first slide

View graphic version