Números naturais parciais / Partial natural numbers
AUTOR(ES)
Escardo, Martin Hotzel
DATA DE PUBLICAÇÃO
2010
RESUMO
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipado com constantes. Relações com a teoria da recursão são estudadas. É mostrado como funções continuas entre naturais parciais podem representar processos interativos, possivelmente perpétuos.
ASSUNTO(S)
interação partial and infinite objects scott domain theory concorrencia recursion theory numeros naturais parciais typed ג-calculus teoria : dominios teoria : recursao perpetual processes interaction calculo lambda teoria : ciencia : computacao concurrence