Browsing by Subject "Typed ג-calculus"
Now showing items 1-1 of 1
-
Números naturais parciais
(1993) [Dissertation]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 ...