Mostrando
1 - 20
resultados de
55
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
55
para a busca '
Espírito Santo, José
'
, tempo de busca: 0,08s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Towards a canonical classical natural deduction system
por
Espírito
Santo
,
José
Publicado em 2013
Acessar documento
Artigo
2
Computação: "The unreasonable effectiveness of mathematics in the computer/natural sciences"
por
Espírito
Santo
,
José
Publicado em 2016
Acessar documento
Outros
3
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por
Espírito
Santo
,
José
Publicado em 2021
Acessar documento
4
A note on preservation of strong normalisation in the lambda-calculus
por
Espírito
Santo
,
José
Publicado em 2011
Acessar documento
Artigo
5
Confluence for classical logic through the distinction between values and computations
por
Espírito
Santo
,
José
Publicado em 2014
Acessar documento
6
Structural proof theory as rewriting
por
Espírito
Santo
,
José
Publicado em 2006
Acessar documento
7
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
8
The Russell-Prawitz embedding and the atomization of universal instantiation
por
Espírito
Santo
,
José
Publicado em 2021
Acessar documento
Artigo
9
Characterization of strong normalizability for a sequent lambda calculus with co-control
por
Espírito
Santo
,
José
Publicado em 2017
Acessar documento
10
Characterising strongly normalising intuitionistic sequent terms
por
Espírito
Santo
,
José
Publicado em 2008
Acessar documento
11
Decidability of several concepts of finiteness for simple types
por
Espírito
Santo
,
José
Publicado em 2019
Acessar documento
Artigo
12
The logical essence of compiling with continuations
por
Espírito
Santo
,
José
Publicado em 2023
Acessar documento
13
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
por
Espírito
Santo
,
José
Publicado em 2019
Acessar documento
Artigo
14
Characterising strongly normalising intuitionistic terms
por
Espírito
Santo
,
José
Publicado em 2012
Acessar documento
Artigo
15
The lambda-calculus and the unity of structural proof theory
por
Espírito
Santo
,
José
Publicado em 2009
Acessar documento
Artigo
16
Confluence and strong normalisation of the generalised multiary lambda-calculus
por
Espírito
Santo
,
José
Publicado em 2004
Acessar documento
17
A coinductive approach to proof search
por
Espírito
Santo
,
José
Publicado em 2013
Acessar documento
18
Monadic translation of classical sequent calculus
por
Espírito
Santo
,
José
Publicado em 2013
Acessar documento
Artigo
19
Turing e a normalização
por
Espírito
Santo
,
José
Carlos
Publicado em 2012
Acessar documento
Artigo
20
The call-by-value Lambda-Calculus with generalized applications
por
Espírito
Santo
,
José
Publicado em 2020
Acessar documento
1
2
3
Seguinte
[3]
Exportar CSV
Exportar RIS
Carregando...