Mostrando
1 - 20
resultados de
27
para a busca '
Espírito Santo, José
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Espírito Santo, José
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 20
resultados de
27
para a busca '
Espírito Santo, José
'
, tempo de busca: 0,25s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A refined interpretation of intuitionistic logic by means of atomic polymorphism
por
Espírito
Santo
,
José
Publicado em 2020
Acessar documento
Artigo
2
Monadic translation of classical sequent calculus
por
Espírito
Santo
,
José
Publicado em 2013
Acessar documento
Artigo
3
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
por
Espírito
Santo
,
José
Publicado em 2019
Acessar documento
Artigo
4
Decidability of several concepts of finiteness for simple types
por
Espírito
Santo
,
José
Publicado em 2019
Acessar documento
Artigo
5
Towards a canonical classical natural deduction system
por
Espírito
Santo
,
José
Publicado em 2013
Acessar documento
Artigo
6
A calculus of multiary sequent terms
por
Espírito
Santo
,
José
Publicado em 2011
Acessar documento
Artigo
7
Alan Turing: cientista universal
por
Espírito
Santo
,
José
Carlos
Publicado em 2019
Acessar documento
Livro
8
Turing e a normalização
por
Espírito
Santo
,
José
Publicado em 2012
Acessar documento
Artigo
9
A coinductive approach to proof search through typed lambda-calculi
por
Espírito
Santo
,
José
Publicado em 2021
Acessar documento
Artigo
10
The polarized λ-calculus
por
Espírito
Santo
,
José
Publicado em 2017
Acessar documento
Artigo
11
Characterising strongly normalising intuitionistic terms
por
Espírito
Santo
,
José
Publicado em 2012
Acessar documento
Artigo
12
A note on preservation of strong normalisation in the lambda-calculus
por
Espírito
Santo
,
José
Publicado em 2011
Acessar documento
Artigo
13
The Russell-Prawitz embedding and the atomization of universal instantiation
por
Espírito
Santo
,
José
Publicado em 2021
Acessar documento
Artigo
14
The lambda-calculus and the unity of structural proof theory
por
Espírito
Santo
,
José
Publicado em 2009
Acessar documento
Artigo
15
Turing e a normalização
por
Espírito
Santo
,
José
Carlos
Publicado em 2012
Acessar documento
Artigo
16
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
por
Espírito
Santo
,
José
Publicado em 2023
Acessar documento
Artigo
17
Plotkin's call-by-value λ-calculus as a modal calculus
por
Espírito
Santo
,
José
Publicado em 2022
Acessar documento
Artigo
18
A refined interpretation of intuitionistic logic by means of atomic polymorphism
por
Espírito
Santo
,
José
Publicado em 2019
Acessar documento
Artigo
19
The Russell-Prawitz embedding and the atomization of universal instantiation
por
Espírito
Santo
,
José
Publicado em 2020
Acessar documento
Artigo
20
Tipologia da arquitetura residencial urbana em São Luís do Maranhão: um estudo de caso a partir da Teoria Muratoriana
por
Marcelo Do
Espírito
Santo
,
José
Publicado em 2006
Acessar documento
Dissertação
1
2
Seguinte
[2]
Exportar CSV
Exportar RIS
Carregando...