Browsing by author 1514

Jump to: 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

or enter first few letters:  

Showing results 1 to 20 of 27.  next >
Issue DateTitleAuthor(s)TypeAccess
May-2011A calculus of multiary sequent termsEspírito Santo, José; Pinto, Luís F.ArticleOpen access
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.Conference paperOpen access
2012Characterising strongly normalising intuitionistic termsEspírito Santo, José; Ivetic, J,; Likavec, SilviaArticleOpen access
2017Characterization of strong normalizability for a sequent lambda calculus with co-controlEspírito Santo, José; Ghilezan, SilviaConference paperOpen access
28-Aug-2013A coinductive approach to proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.Conference paperOpen access
2007Completing herbelin's programmeEspírito Santo, JoséConference paperOpen access
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.Pedagogical publicationOpen access
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Book partOpen access
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.Conference paperOpen access
12-Jun-2015Curry-Howard for sequent calculus at last!Espírito Santo, JoséConference paperOpen access
2007Delayed substitutionsEspírito Santo, JoséConference paperOpen access
2002An isomorphism between a fragment of sequent calculus and an extension of natural deductionEspírito Santo, JoséConference paperOpen access
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.ArticleOpen access
2011A note on preservation of strong normalisation in the lambda-calculusEspírito Santo, JoséArticleOpen access
21-Jun-2016A note on strong normalization in classical natural deductionEspírito Santo, JoséConference paperOpen access
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Book partOpen access
2007Refocusing generalised normalisationEspírito Santo, JoséConference paperOpen access
2000Revisiting the correspondence between cut-elimination and normalisationEspírito Santo, JoséConference paperOpen access
2014Sobre disjunções, confluências e o centro de gravidade da lógica filosóficaEspírito Santo, JoséConference paperOpen access