Percorrer por autor Dyckhoff, Roy Subscrever estatísticas do autor Dyckhoff, Roy
Mostrar 5-5 de um total de 5 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2000 | Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |