Percorrer por autor 1514

Í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 23 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
Mai-2011A calculus of multiary sequent termsEspírito Santo, José; Pinto, Luís F.articleopenAccess
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.conferencePaperopenAccess
2012Characterising strongly normalising intuitionistic termsEspírito Santo, José; Ivetic, J,; Likavec, SilviaarticleopenAccess
28-Ago-2013A coinductive approach to proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.conferencePaperopenAccess
2007Completing herbelin's programmeEspírito Santo, JoséconferencePaperopenAccess
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.conferenceObjectopenAccess
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.conferencePaperopenAccess
12-Jun-2015Curry-Howard for sequent calculus at last!Espírito Santo, JoséconferencePaperopenAccess
2007Delayed substitutionsEspírito Santo, JoséconferencePaperopenAccess
2002An isomorphism between a fragment of sequent calculus and an extension of natural deductionEspírito Santo, JoséconferenceObjectopenAccess
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.articleopenAccess
2011A note on preservation of strong normalisation in the lambda-calculusEspírito Santo, JoséarticleopenAccess
21-Jun-2016A note on strong normalization in classical natural deductionEspírito Santo, JoséarticleopenAccess
2003Permutative conversions in intuitionistic multiary sequent calculus with cutsEspírito Santo, José; Pinto, Luís F.conferencePaperopenAccess
2007Refocusing generalised normalisationEspírito Santo, JoséconferencePaperopenAccess
2000Revisiting the correspondence between cut-elimination and normalisationEspírito Santo, JoséconferenceObjectopenAccess
2014Sobre disjunções, confluências e o centro de gravidade da lógica filosóficaEspírito Santo, JoséconferenceObjectopenAccess
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.conferenceObjectopenAccess
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.conferencePaperopenAccess
5-Fev-2009The lambda-calculus and the unity of structural proof theoryEspírito Santo, JoséarticleopenAccess