Percorrer por assunto $\lambda$-calculus
Mostrar 3-3 de um total de 3 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2003 | Permutative conversions in intuitionistic multiary sequent calculi with cuts | Espírito Santo, José; Pinto, Luís F. | Capítulo de livro | Acesso aberto |