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:  

Mostrar 1-20 de um total de 40 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
19-Dez-2019Aplicações do processo diagonalEspírito Santo, JoséCapítulo de livroAcesso aberto
Mai-2011A calculus of multiary sequent termsEspírito Santo, José; Pinto, Luís F.ArtigoAcesso aberto
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.Artigo em ata de conferênciaAcesso aberto
2012Characterising strongly normalising intuitionistic termsEspírito Santo, José; Ivetic, J,; Likavec, SilviaArtigoAcesso aberto
2017Characterization of strong normalizability for a sequent lambda calculus with co-controlEspírito Santo, José; Ghilezan, SilviaArtigo em ata de conferênciaAcesso aberto
28-Ago-2013A coinductive approach to proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
Dez-2021A coinductive approach to proof search through typed lambda-calculiEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.ArtigoAcesso aberto
1-Jun-2021Coinductive proof search for polarized logic with applications to full intuitionistic propositional logicEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2007Completing herbelin's programmeEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2016Computaçã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ógicaAcesso aberto
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.Artigo em ata de conferênciaAcesso aberto
12-Jun-2015Curry-Howard for sequent calculus at last!Espírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
Out-2019Decidability of several concepts of finiteness for simple typesEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.ArtigoAcesso aberto
2007Delayed substitutionsEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2022A faithful and quantitative notion of distant reduction for generalized applicationsEspírito Santo, José; Kesner, Delia; Peyrot, LoïcArtigo em ata de conferênciaAcesso aberto
2019Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.ArtigoAcesso aberto
2002An isomorphism between a fragment of sequent calculus and an extension of natural deductionEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2019Modal embeddings and calling paradigmsEspírito Santo, José; Pinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.ArtigoAcesso aberto
Mostrar 1-20 de um total de 40 resultados.  próximo >