Percorrer por assunto Sequent calculus

Í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-16 de um total de 16 resultados.
DataTítuloAutor(es)TipoAcesso
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
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
1994Cut formulae and logic programmingPinto, Luís F.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
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
2011Relating sequent calculi for bi-intuitionistic propositional logicPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2000Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
25-Jan-2022Sistemas dedutivos para Lógica Quântica MinimalSousa, Ana Catarina Lopes CarvalhoDissertação de mestrado Acesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2023The logical essence of compiling with continuationsEspírito Santo, José; Mendes, FilipaArtigo em ata de conferênciaAcesso aberto
2013Towards a canonical classical natural deduction systemEspírito Santo, JoséArtigoAcesso aberto
11-Jan-2023Variações sobre o cálculo-lambda call-by-valueMendes, Filipa SimõesDissertação de mestrado Acesso aberto
2023Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applicationsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.ArtigoAcesso embargado (1 Ano)
Mostrar 1-16 de um total de 16 resultados.