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 17-36 de um total de 40 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2011A note on preservation of strong normalisation in the lambda-calculusEspírito Santo, JoséArtigoAcesso aberto
21-Jun-2016A note on strong normalization in classical natural deductionEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
Jan-2022Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luís F.; Uustalu, TarmoArtigoAcesso aberto
Mar-2020A refined interpretation of intuitionistic logic by means of atomic polymorphismEspírito Santo, José; Ferreira, GildaArtigoAcesso aberto
2007Refocusing generalised normalisationEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2000Revisiting the correspondence between cut-elimination and normalisationEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2014Sobre disjunções, confluências e o centro de gravidade da lógica filosóficaEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Artigo em ata de conferênciaAcesso aberto
2020The call-by-value Lambda-Calculus with generalized applicationsEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
5-Fev-2009The lambda-calculus and the unity of structural proof theoryEspírito Santo, JoséArtigoAcesso aberto
2023The logical essence of compiling with continuationsEspírito Santo, José; Mendes, FilipaArtigo em ata de conferênciaAcesso aberto
2017The polarized λ-calculusEspírito Santo, JoséArtigoAcesso aberto
2021The Russell-Prawitz embedding and the atomization of universal instantiationEspírito Santo, José; Ferreira, GildaArtigoAcesso aberto
Mostrar 17-36 de um total de 40 resultados. < anterior   próximo >