Percorrer por assunto $\lambda$-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 3-3 de um total de 3 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
Mostrar 3-3 de um total de 3 resultados. < anterior