Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por autor 1514
Subscrever estatísticas do autor Autor
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 2-21 de um total de 39 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
Mai-2011
A calculus of multiary sequent terms
Espírito Santo, José
;
Pinto, Luís F.
Artigo
Acesso aberto
2008
Characterising strongly normalising intuitionistic sequent terms
Espírito Santo, José
;
Ghilezan, S.
;
Ivetic, J.
Artigo em ata de conferência
Acesso aberto
2012
Characterising strongly normalising intuitionistic terms
Espírito Santo, José
;
Ivetic, J,
;
Likavec, Silvia
Artigo
Acesso aberto
2017
Characterization of strong normalizability for a sequent lambda calculus with co-control
Espírito Santo, José
;
Ghilezan, Silvia
Artigo em ata de conferência
Acesso aberto
28-Ago-2013
A coinductive approach to proof search
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo em ata de conferência
Acesso aberto
Dez-2021
A coinductive approach to proof search through typed lambda-calculi
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo
Acesso aberto
1-Jun-2021
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo em ata de conferência
Acesso aberto
2007
Completing herbelin's programme
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2016
Computação: "The unreasonable effectiveness of mathematics in the computer/natural sciences"
Espírito Santo, José
;
Araújo, Cláudia Mendes
;
Forjaz, Maria Antónia
, et al.
Publicação pedagógica
Acesso aberto
2004
Confluence and strong normalisation of the generalised multiary lambda-calculus
Espírito Santo, José
;
Pinto, Luís F.
Capítulo de livro
Acesso aberto
2014
Confluence for classical logic through the distinction between values and computations
Espírito Santo, José
;
Matthes, Ralph
;
Nakazawa, Koji
, et al.
Artigo em ata de conferência
Acesso aberto
12-Jun-2015
Curry-Howard for sequent calculus at last!
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
Out-2019
Decidability of several concepts of finiteness for simple types
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo
Acesso aberto
2007
Delayed substitutions
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2022
A faithful and quantitative notion of distant reduction for generalized applications
Espírito Santo, José
;
Kesner, Delia
;
Peyrot, Loïc
Artigo em ata de conferência
Acesso aberto
2019
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo
Acesso aberto
2002
An isomorphism between a fragment of sequent calculus and an extension of natural deduction
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2019
Modal embeddings and calling paradigms
Espírito Santo, José
;
Pinto, Luís F.
;
Uustalu, Tarmo
Artigo em ata de conferência
Acesso aberto
2013
Monadic translation of classical sequent calculus
Espírito Santo, José
;
Matthes, Ralph
;
Nakazawa, Koji
, et al.
Artigo
Acesso aberto
2011
A note on preservation of strong normalisation in the lambda-calculus
Espírito Santo, José
Artigo
Acesso aberto