Navegação por Assunto "Espacos coerentes"
Resultados 1-2 de 2
-
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real
(1997) [Dissertação]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) [Tese]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 ...