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 19-38 de um total de 40 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
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
21-Jun-2016
A note on strong normalization in classical natural deduction
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2018
Permutability in proof terms for intuitionistic sequent calculus with cuts
Espírito Santo, José
;
Frade, M. J.
;
Pinto, Luís F.
Artigo em ata de conferência
Acesso aberto
2003
Permutative conversions in intuitionistic multiary sequent calculi with cuts
Espírito Santo, José
;
Pinto, Luís F.
Capítulo de livro
Acesso aberto
Jan-2022
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luís F.
;
Uustalu, Tarmo
Artigo
Acesso aberto
Mar-2020
A refined interpretation of intuitionistic logic by means of atomic polymorphism
Espírito Santo, José
;
Ferreira, Gilda
Artigo
Acesso aberto
2007
Refocusing generalised normalisation
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2000
Revisiting the correspondence between cut-elimination and normalisation
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2014
Sobre disjunções, confluências e o centro de gravidade da lógica filosófica
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2006
Structural proof theory as rewriting
Espírito Santo, José
;
Frade, M. J.
;
Pinto, Luís F.
Artigo em ata de conferência
Acesso aberto
2006
Structural proof theory as rewriting
Frade, M. J.
;
Espírito Santo, José
;
Pinto, L.
Artigo em ata de conferência
Acesso aberto
2020
The call-by-value Lambda-Calculus with generalized applications
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
5-Fev-2009
The lambda-calculus and the unity of structural proof theory
Espírito Santo, José
Artigo
Acesso aberto
2023
The logical essence of compiling with continuations
Espírito Santo, José
;
Mendes, Filipa
Artigo em ata de conferência
Acesso aberto
2017
The polarized λ-calculus
Espírito Santo, José
Artigo
Acesso aberto
2021
The Russell-Prawitz embedding and the atomization of universal instantiation
Espírito Santo, José
;
Ferreira, Gilda
Artigo
Acesso aberto
2010
Towards a canonical classical natural deduction system
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
2013
Towards a canonical classical natural deduction system
Espírito Santo, José
Artigo
Acesso aberto