Navegação Computação por Assunto "Domain Theory"
Resultados 1-3 de 3
-
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 ... -
Uma representação construtiva global para sistemas ordenados de segunda ordem em espaços coerentes intervalares bi-estruturados, com aplicação em matemática intervalar
(1998) [Tese]Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na ...
