Browsing by Subject "Espacos coerentes"
Now showing items 1-2 of 2
-
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real
(1997) [Dissertation]Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, ... -
A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes
(2002) [Thesis]O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de ...
